Writing application in Zig

1

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.

2

Hey @tw4452852, thanks for sharing.

I’ve done some experiments with using Zig with the seL4 Microkit with using it as a build-system for C-based projects as well as using the language itself.

There’s a virtual-machine-monitor written in Zig as well as a basic hello world Microkit system using Zig for the build-system.

3

Hi @ivanvelickovic

Wow, cool. I’ll definitely play with it.