New host: ude

This commit is contained in:
Nikodem Rabuliński 2023-11-02 20:16:36 +01:00
parent f2a54b2116
commit ff77bc7100
No known key found for this signature in database
GPG key ID: FF629AA9E08138DB
13 changed files with 103 additions and 21 deletions

30
hosts/ude/default.nix Normal file
View file

@ -0,0 +1,30 @@
{
configurations.nixos.ude = {
config,
modulesPath,
lib,
...
}: {
imports = [
"${modulesPath}/profiles/qemu-guest.nix"
./disks.nix
];
nixpkgs.hostPlatform = "aarch64-linux";
boot = {
loader.systemd-boot.enable = true;
loader.systemd-boot.configurationLimit = 1;
loader.efi.canTouchEfiVariables = true;
};
common.hercules.enable = true;
services.hercules-ci-agent.settings.concurrentTasks = 6;
virtualisation.podman = {
enable = true;
dockerCompat = true;
defaultNetwork.settings.dns_enabled = true;
};
};
}