home/nixos-servers
home/nixos-servers
Archived
2
0
Fork 0
Code Issues 8 Pull requests Projects Releases Packages Wiki Activity Actions

deploy-rs works for raspberrypi

Browse source
This commit is contained in:
Pim Kunis 2024-02-27 20:14:53 +01:00
parent c2e2ed5ea8
commit 1683c4caa8
4 changed files with 34 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

9
nixos/physical.nix
View file

@ -1,7 +1,8 @@
{ pkgs, config, lib, modulesPath, microvm, disko, agenix, machines, dns, machine, ... }: {
{ pkgs, config, lib, modulesPath, microvm, disko, agenix, machines, dns, machine, nixos-hardware, ... }: {
imports = [
(modulesPath + "/installer/scan/not-detected.nix")
microvm.nixosModules.host
nixos-hardware.nixosModules.raspberry-pi-4
];
config = {
@ -14,7 +15,11 @@
};
};
boot.loader.grub.device = "/dev/sda";
# boot.loader.grub.device = "/dev/sda";
# boot.loader.grub.enable = true;
# boot.loader.grub.efiSupport = true;
# boot.loader.grub.efiInstallAsRemovable = true;
# boot.loader.grub.device = "nodev";
# boot = {
# # kernelModules = [ "kvm-intel" ];
# kernelModules = [ ];

14
nixos/virtual/default.nix
View file

@ -74,14 +74,14 @@
}];
services.openssh = {
hostKeys = [{
path = "/etc/ssh/host_keys/ssh_host_ed25519_key";
type = "ed25519";
}];
# hostKeys = [{
# path = "/etc/ssh/host_keys/ssh_host_ed25519_key";
# type = "ed25519";
# }];
extraConfig = ''
HostKey /etc/ssh/host_keys/ssh_host_ed25519_key
'';
# extraConfig = ''
# HostKey /etc/ssh/host_keys/ssh_host_ed25519_key
# '';
};
microvm = {