- cd6b7ec FS: Add pre-conditions for deserialization functions by Nico Huber · 1 year, 1 month ago
- f983931 FS.FILO: Allow File_Offset of full File_Length by Nico Huber · 1 year, 1 month ago
- 691220d FS.FILO.VFS: Move `Convention => C` to spec by Nico Huber · 1 year, 1 month ago
- 51f6041 Make VFS wrapper state aware by Nico Huber · 1 year, 1 month ago
- 75d1ff3 vfs: Add filo like vfs layer by Thomas Heijligen · 1 year, 1 month ago
- dc1a84b blockdev: Add missing partition functions by Thomas Heijligen · 1 year, 1 month ago
- 98417fc Add Read_LE16/32 and types by Nico Huber · 1 year, 1 month ago
- 1d7727f Add stub for FS.FILO.Ext2 by Nico Huber · 1 year, 1 month ago
- d49cb12 Move SPARK_Mode => Off into body by Thomas Heijligen · 1 year, 1 month ago
- b00b316 Use getopt for program parameters by Thomas Heijligen · 1 year, 1 month ago
- 3a5cd8c FS.FILO: Add access to globals by Nico Huber · 1 year, 1 month ago
- c6bd3d3 Rename FS.FILO => FS.FILO.Dev by Nico Huber · 1 year, 1 month ago
- 0a9591e Fill FS.FILO.VFS wrapper by Nico Huber · 1 year, 1 month ago
- fdfa2e2 Start FS.FILO.VFS wrapper by Nico Huber · 1 year, 1 month ago
- 62268ee Make it compile by Thomas Heijligen · 1 year, 1 month ago
- 81cf58d Remove a.out by Thomas Heijligen · 1 year, 1 month ago
- d1e0457 Test env to develop FILO filesystem drivers in Ada by Thomas Heijligen · 1 year, 1 month ago