Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
docker		docker
scripts		scripts
Makefile		Makefile
README.md		README.md
mi-dev-build.sh		mi-dev-build.sh

Repository files navigation

Build Script

ARCH SUPPORTED:

riscv64
aarch64

Run sel4-test

make ARCH=riscv64 sel4-test

Run root-task-demo

make ARCH=riscv64 root-task-demo

Enjoy it 😆!

About

No description, website, or topics provided.

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 4

Languages