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 @ f25cbef5
meta @ ea7c5f81
musl-robigo @ f9f686b7
nemo @ 8e48dc28
pci @ 73229302
phoma @ afb88bd7
phoma-abi @ d4a6cca6
rbg-elfload @ 3b0a6d69
rbg-linux-abi @ fc753d26
robigo @ 4c492af4
runner @ f2c20549
rust-bitmap @ a147b8d4
rust-sel4 @ 6fd38052
sel4 @ 2c2fb9ca
sel4-acpica @ f98103e3
sel4-alloc @ 2ae20ad6
sel4-config @ c6339f30
sel4-start @ c3ab0a6a
sel4-sys @ 7c5bf780
sel4-targets @ 61f19b5a
ssmarshal @ 106f3548
tempo @ b0f6beee
vigila @ e4f56227
virtio @ 56f6484a
.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...