foundry
Foundry OS: the operating system built on the Rustbelt kernel
| Mode | Name | Size | |
|---|---|---|---|
-rw-r--r-- | boot-contract.md | 9539 | raw |
-rw-r--r-- | bumping-the-kernel.md | 4621 | raw |
-rw-r--r-- | glossary.md | 6183 | raw |
-rw-r--r-- | kernel-requests.md | 14221 | raw |
-rw-r--r-- | plan.md | 21080 | raw |
-rw-r--r-- | porting.md | 3936 | raw |
-rw-r--r-- | proposal.md | 61418 | raw |
-rw-r--r-- | syscall-gaps.md | 3118 | raw |