seL4 + rust, in theory
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
corerust
sel4-build
.gitignore
README.md
init.sh
run.sh
test.sh

README.md

searust

Prerequisites (among others):

* rustup
* qemu
* basic build tools

To set up a sysroot and build the kernel:

$ ./init.sh

Build and run the machine:

$ ./run.sh

You should see "Hello, World!" in a VGA output window.