This is a basic 'hello world' example for a seL4 Microkit system where the Zig build system is used to acquire and use the Microkit SDK. The 'hello world' is still written in C, it is solely the build system that is Zig code.

This example is mainly for my own reference, but may be useful to other interested in the Zig build system and/or Microkit. The libvmm project has non-trivial examples of using the Zig build system with Microkit should you be interested.

Dependencies:

• Zig compiler (version 0.13.0)
• QEMU (specifically qemu-system-aarch64), for simulating the hello world.

Just like most Zig projects, to build all you need to do is run:

zig build

You can see all the build options with zig build -h.

If you want to run the example you can do:

zig build qemu