Domains

Introduction

cargo domain --help # Display help
cargo domain build-all -l "" # Build all domains
cargo domain build -n gsyscall -l "" # Build syscall domain

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
.cargo		.cargo
common		common
common_lib		common_lib
drivers		drivers
fs		fs
README.md		README.md
domain-list.toml		domain-list.toml
domain.ld		domain.ld
riscv64.json		riscv64.json