2023-10-28 22:09:36 +02:00
|
|
|
{ ... }:
|
|
|
|
|
{
|
|
|
|
|
imports = [
|
2023-10-29 17:20:35 +01:00
|
|
|
# <nixos-hardware/pine64/pinebook-pro>
|
|
|
|
|
<nixpkgs/nixos/modules/installer/sd-card/sd-image-aarch64.nix>
|
|
|
|
|
# ./os/loader.nix # Don't uncomment this before having put extra behind an option!
|
2023-10-28 22:09:36 +02:00
|
|
|
];
|
2023-10-29 17:20:35 +01:00
|
|
|
nixpkgs.crossSystem.system = "aarch64-linux";
|
|
|
|
|
# networking.hostName = "pindakaas.geoffrey.frogeye.fr";
|
2023-10-28 22:09:36 +02:00
|
|
|
}
|
