Hi forks,
I’ve attempted to explore the possibility of writing a seL4 rootserver in Zig language. Currently, POC is done. So I want to share my works if you’re interested in it.
Here’s the repo: GitHub - tw4452852/zig_sel4: Writing Sel4 application in Zig
Happy hacking.