With the recent uptake of interest in using Linux for safety applications (for example ELISA), tooling and infrastructure become more and more relevant. This tutorial will provide a hands-on experience for embedded Linux using the Nix meta build system and the NixOS Linux distribution. The attendees will configure a small Linux Kernel configuration and a traditional systemd based user-space using the Nix DSL. A minimal demo application will be incorporated, and the resulting system will be booted and inspected using QEMU.
