Zinnia

Zinnia is a lightweight Unix-like monolithic kernel targeting 64-bit devices.

Building Zinnia

To build the kernel you need:

• meson
• a kconfig frontend (like kconfiglib via pip)
• a GNU-like C compiler with support for C23 (e.g. gcc or clang)

To configure, run:

alldefconfig
meson setup $build_dir

And to build:

meson compile -C $build_dir