Introduction to haskus-system

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.