example of a native application for unikraft microkernels, built with a zig library
Go to file
2024-07-08 19:59:23 -07:00
ziggy initial working example as made hacking around 2024-07-08 19:51:48 -07:00
.config.helloworld_qemu-x86_64 initial working example as made hacking around 2024-07-08 19:51:48 -07:00
.gitignore add more build files to .gitignore 2024-07-08 19:52:43 -07:00
helloworld.c initial working example as made hacking around 2024-07-08 19:51:48 -07:00
Kraftfile initial working example as made hacking around 2024-07-08 19:51:48 -07:00
LICENSE initial working example as made hacking around 2024-07-08 19:51:48 -07:00
Makefile.uk initial working example as made hacking around 2024-07-08 19:51:48 -07:00
README.md add a terrible starter README 2024-07-08 19:59:23 -07:00
undefined.c initial working example as made hacking around 2024-07-08 19:51:48 -07:00

Native Unikraft Microkernel Build for Zig libraries

This is an example repository, due to be cleaned up. For now, install Kraftkit and zig and build it this way:

(cd ziggy && zig build -Doptimize=ReleaseSafe -Dtarget=x86_64-linux-gnu.2.13 -Dcpu=baseline) && cp ziggy/zig-out/lib/libziggy.a . &&  kraft build --plat qemu --arch x86_64 --log-level debug --log-type basic && kraft run --plat qemu --arch x86_64

Only works on Linux, with QEMU (install that too!) and Zig 0.13.0 (though probably works on 0.12.0 as well).

More to follow