river
Revision as of 00:10, 3 November 2023 by ThePuzzlemaker (talk | contribs) (Created page with "<span display="none">{{DISPLAYTITLE:river}}</span> Category:River River is an experimental capability-based operating system written by ThePuzzlemaker in Rust for RISCV64. (For those wondering, the name is taken from RISC-V: "RIscV" + "ER"). This project is not intended to be used in production, but instead just as a project for learning about advanced OS concepts and existing kernels. River takes inspiration from repnop's Vanadinite, the se...")
River is an experimental capability-based operating system written by ThePuzzlemaker in Rust for RISCV64. (For those wondering, the name is taken from RISC-V: "RIscV" + "ER"). This project is not intended to be used in production, but instead just as a project for learning about advanced OS concepts and existing kernels.
River takes inspiration from repnop's Vanadinite, the seL4 project, GWU Composite (which has some very helpful accompanying lectures), Fucshia/Zircon, and XV6/RISC-V. Thanks goes to all the amazing people who have helped me through my insanity as I try to figure this stuff out.
Links
- GitHub: ThePuzzlemaker/river
- Category Index