Writing Sel4 application in Zig

Prerequisite

• 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/).

Building

make

Running

make run