Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.vscode		.vscode
examples/hello-world		examples/hello-world
platforms/zynq7000		platforms/zynq7000
sel4-rs		sel4-rs
sel4-sys		sel4-sys
.gitignore		.gitignore
.gitmodules		.gitmodules
Cargo.toml		Cargo.toml
README.md		README.md
rust-toolchain.toml		rust-toolchain.toml