2023-04-04 21:01:44 +02:00
|
|
|
{ config, pkgs, lib, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
imports =
|
|
|
|
[
|
|
|
|
./hardware-configuration.nix
|
2023-05-30 17:34:06 +02:00
|
|
|
|
|
|
|
./isa.nix
|
2023-04-04 21:01:44 +02:00
|
|
|
];
|
|
|
|
|
|
|
|
boot.kernelParams = [ "console=ttyS0,115200n8" ];
|
|
|
|
|
|
|
|
# Use the GRUB 2 boot loader.
|
|
|
|
boot.loader.grub.enable = true;
|
|
|
|
boot.loader.grub.version = 2;
|
|
|
|
# boot.loader.grub.efiSupport = true;
|
|
|
|
# boot.loader.grub.efiInstallAsRemovable = true;
|
|
|
|
# boot.loader.efi.efiSysMountPoint = "/boot/efi";
|
|
|
|
# Define on which hard drive you want to install Grub.
|
|
|
|
boot.loader.grub.device = "/dev/sda"; # or "nodev" for efi only
|
|
|
|
boot.loader.grub.extraConfig = "
|
|
|
|
serial --speed=115200 --unit=0 --word=8 --parity=no --stop=1
|
|
|
|
terminal_input serial
|
|
|
|
terminal_output serial
|
|
|
|
";
|
|
|
|
|
|
|
|
networking.hostName = "astatine";
|
|
|
|
|
2023-04-04 21:30:56 +02:00
|
|
|
networking.firewall.enable = false;
|
|
|
|
|
2023-04-23 15:31:54 +02:00
|
|
|
services.wg-clerie = {
|
2023-04-04 21:30:56 +02:00
|
|
|
enable = true;
|
2023-04-23 15:31:54 +02:00
|
|
|
ipv6s = [ "2a01:4f8:c0c:15f1::8108/128" ];
|
|
|
|
ipv4s = [ "10.20.30.108/32" ];
|
2023-04-04 21:30:56 +02:00
|
|
|
};
|
|
|
|
|
2023-04-04 21:01:44 +02:00
|
|
|
clerie.monitoring = {
|
2023-04-04 22:16:08 +02:00
|
|
|
enable = true;
|
|
|
|
id = "214";
|
|
|
|
pubkey = "I4xh3t6vIcNyntZkewXX56eWrEd3J0hhaYV45xj6uVU=";
|
|
|
|
serviceLevel = "event";
|
2023-04-04 21:01:44 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
system.stateVersion = "23.05";
|
|
|
|
}
|
|
|
|
|