An experimental way to define operating systems in Dhall & Nix (fork of ocharles's dhallix-os)