- 21c624b Fix FILO-not-having-unmount workaround by Nico Huber · 1 year, 3 months ago main
- 575c6ec Express C code `part_length' in 512B blocks (as FILO does) by Nico Huber · 1 year, 3 months ago
- f2551fe fs: Use type conversions compatible with 32-bit builds by Nico Huber · 1 year, 10 months ago
- 523c372 vfs: Drop dead package with by Nico Huber · 1 year, 10 months ago
- 989bfe2 ext2: Fix two minor proof issues by Nico Huber · 1 year, 10 months ago
- 8e4b9f8 iso9660: Fix small bugs and proofs by Nico Huber · 1 year, 10 months ago
- 780b7f4 iso9660: Try to match file names from Rock Ridge extension by Nico Huber · 1 year, 10 months ago
- 666da67 iso9660: Add FS_Record type to describe part of a block by Nico Huber · 1 year, 10 months ago
- 292f8a3 Extract Str_Buf_Equal() from ext2 driver by Nico Huber · 1 year, 10 months ago
- ab933b8 iso9660: Refactor Open() to ease extensions by Nico Huber · 1 year, 10 months ago
- b18691e iso9660: Handle multiple directory blocks by Nico Huber · 1 year, 10 months ago
- fa5f890 iso9660: Implement proper file-name matching by Nico Huber · 1 year, 10 months ago
- eae183a iso9660: Look for all upper-case file names by Nico Huber · 1 year, 10 months ago
- 65f2ea2 iso9660: Fix volume descriptor start offset by Nico Huber · 1 year, 10 months ago
- 26c363d Use libhwbase build infra by Nico Huber · 1 year, 10 months ago
- 20bf593 ext2: Rename Inode_Extents -> Inline_Extents by Nico Huber · 1 year, 10 months ago
- 7e7d149 ext2: Restore Size attribute, keep it along Object_Size by Nico Huber · 1 year, 10 months ago
- b735a1d ext2: Relax initialization in Read() by Nico Huber · 1 year, 10 months ago
- 4210fcc isofs: Assist proofs by Nico Huber · 1 year, 10 months ago
- f9ab868 FILO: Check overflow when converting unsigned to signed by Nico Huber · 1 year, 10 months ago