2023-11-29 14:27:29 +01:00
|
|
|
{ pkgs, config, ... }:
|
|
|
|
{
|
|
|
|
imports = [
|
2023-11-30 19:01:55 +01:00
|
|
|
../os
|
|
|
|
../curacao/options.nix
|
|
|
|
../curacao/hardware.nix
|
2023-12-02 18:50:31 +01:00
|
|
|
./dk.nix
|
2023-11-29 14:27:29 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
networking.hostName = "curacao_usb";
|
|
|
|
|
2023-11-30 19:01:55 +01:00
|
|
|
# It's a removable drive, so no touching EFI vars
|
|
|
|
# (quite a lot of stuff to set for that!)
|
|
|
|
boot.loader = {
|
|
|
|
efi.canTouchEfiVariables = false;
|
|
|
|
grub = {
|
|
|
|
efiInstallAsRemovable = true;
|
|
|
|
device = "nodev";
|
2023-11-29 14:27:29 +01:00
|
|
|
};
|
|
|
|
};
|
2023-11-30 19:01:55 +01:00
|
|
|
|
2023-11-29 14:27:29 +01:00
|
|
|
}
|