foundry
Foundry OS: the operating system built on the Rustbelt kernel
| Mode | Name | Size | |
|---|---|---|---|
-rw-r--r-- | boot-contract.md | 3100 | raw |
-rw-r--r-- | bumping-the-kernel.md | 4189 | raw |
-rw-r--r-- | glossary.md | 4286 | raw |
-rw-r--r-- | kernel-requests.md | 5977 | raw |
-rw-r--r-- | plan.md | 3597 | raw |
-rw-r--r-- | porting.md | 3917 | raw |
-rw-r--r-- | proposal.md | 61418 | raw |
-rw-r--r-- | syscall-gaps.md | 1098 | raw |