foundry
Foundry OS: the operating system built on the Rustbelt kernel
| Mode | Name | Size | |
|---|---|---|---|
-rw-r--r-- | boot-contract.md | 9118 | raw |
-rw-r--r-- | bumping-the-kernel.md | 4189 | raw |
-rw-r--r-- | glossary.md | 5398 | raw |
-rw-r--r-- | kernel-requests.md | 10771 | raw |
-rw-r--r-- | plan.md | 20584 | raw |
-rw-r--r-- | porting.md | 3925 | raw |
-rw-r--r-- | proposal.md | 61418 | raw |
-rw-r--r-- | syscall-gaps.md | 1098 | raw |