btw i use nix
ryan.freumh.org
1{
2 config,
3 lib,
4 pkgs,
5 modulesPath,
6 ...
7}:
8
9{
10 boot.initrd.availableKernelModules = [
11 "ata_piix"
12 "uhci_hcd"
13 "sr_mod"
14 "xen_blkfront"
15 ];
16 boot.initrd.kernelModules = [ ];
17 boot.kernelModules = [ ];
18 boot.extraModulePackages = [ ];
19 boot.loader.grub.device = "/dev/xvda"; # or "nodev" for efi only
20
21 fileSystems."/" = {
22 device = "/dev/disk/by-uuid/426b9528-ccde-4438-8338-10d35cea9d16";
23 fsType = "ext4";
24 };
25
26 swapDevices = [
27 {
28 device = "/var/swap";
29 size = 2048;
30 }
31 ];
32
33 networking = {
34 useDHCP = false;
35 interfaces."enX0" = {
36 ipv4.addresses = [
37 {
38 address = "128.232.113.136";
39 prefixLength = 23;
40 }
41 ];
42 };
43 defaultGateway = {
44 address = "128.232.112.1";
45 interface = "enX0";
46 };
47 };
48
49 nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
50 hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
51}