- Follow instructions on https://docs.sel4.systems/projects/buildsystem/host-dependencies.html to install necessary building dependencies for Sel4.
- Install Zig (https://ziglang.org/learn/getting-started/).
make
cd ./build && ./simulate
-
Notifications
You must be signed in to change notification settings - Fork 0
tw4452852/zig_sel4
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Writing Sel4 application in Zig
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published