W
wayless
A microkernel inspired by seL4
-
Waylon Cude authored
I moved bootless into the wayless group, so I had to update the submodule here
A microkernel inspired by seL4
I moved bootless into the wayless group, so I had to update the submodule here
Name |
Last commit
|
Last update |
---|---|---|
.vscode | Loading commit data... | |
bootless @ 4ea5e9db | Loading commit data... | |
iso/boot/grub | Loading commit data... | |
sel4 | Loading commit data... | |
src | Loading commit data... | |
userspace | Loading commit data... | |
.gdbinit | Loading commit data... | |
.gitignore | Loading commit data... | |
.gitlab-ci.yml | Loading commit data... | |
.gitmodules | Loading commit data... | |
COPYING | Loading commit data... | |
Cargo.toml.build | Loading commit data... | |
Cargo.toml.gen_bindings | Loading commit data... | |
Makefile | Loading commit data... | |
PLAN.md | Loading commit data... | |
README.md | Loading commit data... | |
Xargo.toml | Loading commit data... | |
gen_bindings.rs | Loading commit data... | |
linker.ld | Loading commit data... | |
x86_64-elf.json | Loading commit data... |