haskus-system is a framework to develop systems based on the Linux kernel. Its main selling points are:
written in Haskell (systems are written in Haskell too)
automatic building and testing (within QEMU) with the haskus-system-build
easy to use and to modify: single code base in a Git repository, documentation
reproducible builds: pinned versions (Linux kernel and Haskell dependencies)
haskus-system is based directly and exclusively on the Linux kernel.
Hence, it doesn’t rely on usual user-space kernel interfaces (e.g., libdrm,
libinput, X11, wayland, etc.) to communicate with the kernel.