| drwxr-xr-x | example/ | 97648de5fc — refactor(layout): relocate proof guest and host build inputs | 2 months ago | |
| drwxr-xr-x | guest/ | 97648de5fc — refactor(layout): relocate proof guest and host build inputs | 2 months ago | |
| drwxr-xr-x | host/ | 97648de5fc — refactor(layout): relocate proof guest and host build inputs | 2 months ago | |
| drwxr-xr-x | media/ | 36fd34c522 — test(pager): check recycling preserves isolation after remapping | 2 months ago | |
| drwxr-xr-x | proof/ | 97648de5fc — refactor(layout): relocate proof guest and host build inputs | 2 months ago | |
| drwxr-xr-x | tools/ | 97648de5fc — refactor(layout): relocate proof guest and host build inputs | 2 months ago | |
| -rw-r--r-- | .gitignore | 22 bytes | 8607a1f020 — feat(model): formalise writable frame exclusivity | 6 months ago |
| -rw-r--r-- | Makefile | 2.3 KiB | 97648de5fc — refactor(layout): relocate proof guest and host build inputs | 2 months ago |
| -rw-r--r-- | README.md | 329 bytes | 97648de5fc — refactor(layout): relocate proof guest and host build inputs | 2 months ago |