D

devbox

A Vagrant VM for building and running Rust code on seL4

Name Last Update
acpica-sys @ 19000bd5
alpine-bootstrap @ 1540413f
bitflags-core @ 5ffca864
book @ f7c21d8e
byteorder @ 1504abc6
freestanding-musl-malloc @ 5b2cc348
hello-world @ 0371a499
meta @ 46929545
nemo @ 74a50dac
pci @ 7af03ab7
rbg-elfload @ 3b0a6d69
rbg-linux-abi @ fc753d26
robigo @ 4c492af4
runner @ 7702d3c7
rust-bitmap @ a147b8d4
rust-sel4 @ 879cfb2b
sel4 @ 541a031c
sel4-alloc @ 35f55256
sel4-start @ 21a933ef
sel4-sys @ 305cf8ee
sel4-targets @ ad6edf7a
virtio @ 3ab29578
.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...

devbox

This is the "meta-repository" for Robigalia. It includes git submodules for all of our components, and some scripts that cmr uses to make things run nicely.

I recommend using the docker image in runner for development if you're not on Linux, but there's also a Vagrantfile here, which isn't very well maintained, but may work for you.