ext2: Further split our state record

To assist proving that the metadata doesn't change.
2 files changed
tree: 4d51269f5c7cec3d392f3f1c6681bca2278c2372
  1. src/
  2. .gitignore
  3. default.adc
  4. default.gpr
  5. default.nix