This is early development of a microkernel written in Rust. I am not a rust expert and this is a bit of playground for exploring ideas of using the Rust type system in a microkernel context, as well as my own designs for a microkernel.
-
Notifications
You must be signed in to change notification settings - Fork 0
Experimental microkernel written in Rust
License
AdrianDanis/R4
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Experimental microkernel written in Rust
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published