D

devbox

A Vagrant VM for building and running Rust code on seL4

Name Last update
acpica-sys @ adab733e
alpine-bootstrap @ 1540413f
book @ 0dcebfce
freestanding-musl-malloc @ 5b2cc348
hello-world @ 7e75dd9a
meta @ 8c728b7c
musl-robigo @ 4c68e7f5
nemo @ 8e48dc28
pci @ 4e2fddc6
phoma @ b2ff8efe
phoma-abi @ edaa9b98
rbg-elfload @ 3b0a6d69
rbg-linux-abi @ fc753d26
robigo @ 4c492af4
runner @ 4c8df59a
rust-bitmap @ 1e1ec5ff
rust-sel4 @ 483d382d
sel4 @ df7b04dd
sel4-acpica @ f98103e3
sel4-alloc @ 2ca7e589
sel4-config @ ff740eea
sel4-start @ 4d9ecbe1
sel4-sys @ 8ab5c66d
sel4-targets @ 87d13d16
ssmarshal @ 106f3548
tempo @ a0ea7a30
vigila @ e4f56227
virtio @ b358749b
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.gitmodules Loading commit data...
.signing-exceptions Loading commit data...
CONTRIBUTING.md Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
Vagrantfile Loading commit data...
add_remotes.sh Loading commit data...
bootstrap.sh Loading commit data...
build_crate_docs.sh Loading commit data...
deploy_docs.sh Loading commit data...
get_new_repos.sh Loading commit data...
mirror_to_github.sh Loading commit data...