2022-12-31 07:24:17 +01:00
|
|
|
{ ... }:
|
2021-08-17 20:31:59 +02:00
|
|
|
{
|
|
|
|
|
imports = [
|
|
|
|
|
./hardware-configuration.nix
|
|
|
|
|
../roles/common.nix
|
2021-12-24 07:42:09 +01:00
|
|
|
../roles/hercules-ci
|
2022-12-03 11:30:46 +10:00
|
|
|
../roles/remote-builder/user.nix
|
2021-08-17 20:31:59 +02:00
|
|
|
];
|
|
|
|
|
|
|
|
|
|
nixpkgs.system = "aarch64-linux";
|
|
|
|
|
|
2022-12-26 18:31:16 +10:00
|
|
|
# disable default features
|
|
|
|
|
nix.settings.system-features = [ ];
|
|
|
|
|
|
2021-08-17 20:31:59 +02:00
|
|
|
# we use grub because systemd-boot sometimes fail on aarch64/EFI
|
2022-12-30 20:49:32 +01:00
|
|
|
# XXX check if this is still an issue?
|
2021-08-17 20:31:59 +02:00
|
|
|
boot.loader.grub.devices = [ "nodev" ];
|
|
|
|
|
boot.loader.grub.enable = true;
|
|
|
|
|
boot.loader.grub.efiSupport = true;
|
|
|
|
|
boot.loader.grub.version = 2;
|
|
|
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
2022-12-30 20:49:32 +01:00
|
|
|
|
|
|
|
|
# Make it easier to recover via serial console in case something goes wrong.
|
|
|
|
|
services.getty.autologinUser = "root";
|
2021-08-17 20:31:59 +02:00
|
|
|
|
2022-08-13 11:13:06 +02:00
|
|
|
networking.hostName = "build04";
|
2021-08-17 20:31:59 +02:00
|
|
|
networking.hostId = "8daf74c0";
|
|
|
|
|
|
|
|
|
|
system.stateVersion = "21.11";
|
2022-12-30 20:49:32 +01:00
|
|
|
systemd.network = {
|
|
|
|
|
enable = true;
|
|
|
|
|
networks.ethernet.extraConfig = ''
|
|
|
|
|
[Match]
|
|
|
|
|
Type = ether
|
|
|
|
|
[Network]
|
|
|
|
|
DHCP = both
|
|
|
|
|
'';
|
|
|
|
|
};
|
2021-08-17 20:31:59 +02:00
|
|
|
}
|
|
|
|
|
|
2022-12-30 20:49:32 +01:00
|
|
|
## `opc` is the username from the oracle image. Replace with root if we are booted into nixos.
|
|
|
|
|
# nix run github:numtide/nixos-remote#nixos-remote -- \
|
|
|
|
|
# --debug \
|
|
|
|
|
# --kexec "$(nix build --print-out-paths github:nix-community/nixos-images#packages.aarch64-linux.kexec-installer-nixos-unstable)/nixos-kexec-installer-aarch64-linux.tar.gz" \
|
2022-12-31 07:11:20 +01:00
|
|
|
# --flake '.#nixosConfigurations."build04.nix-community.org"' \
|
2022-12-30 20:49:32 +01:00
|
|
|
# opc@141.148.235.248
|
