nixpkgs/pkgs/misc/emulators/craftos-pc
..
default.nix