Geoffrey Frogeye 1840ed67c9 Different screen names under NixOS ... Breaks curacao_test though		2023-12-16 17:04:59 +01:00
..
dk.nix	Fix boot	2023-12-16 17:04:29 +01:00
hardware.nix	First attempt at booting NixOS on curacao directly	2023-12-12 22:03:36 +01:00
options.nix	Different screen names under NixOS	2023-12-16 17:04:59 +01:00
os.nix	Second attempt at booting NixOS on curacao directly	2023-12-16 13:51:53 +01:00