W

wayless

A microkernel inspired by seL4

  • Waylon Cude's avatar
    Changed bootless URL · f01249d4
    Waylon Cude authored
    I moved bootless into the wayless group, so I had to update the
    submodule here
    f01249d4
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...