README.md

Build Script

ARCH SUPPORTED:

1. riscv64
2. aarch64

Run sel4-test

make ARCH=riscv64 sel4-test

Run root-task-demo

make ARCH=riscv64 root-task-demo

Enjoy it 😆!