From 131e7d37c2620ac6dca5541033eb2dfbfbb51ac4 Mon Sep 17 00:00:00 2001 From: Aaron Bieber Date: Sun, 29 Sep 2024 14:52:36 -0600 Subject: [PATCH] hosts/retic: init --- flake.nix | 1 + hosts/retic/default.nix | 37 ++++++++++++++++++++++++++ hosts/retic/hardware-configuration.nix | 36 +++++++++++++++++++++++++ 3 files changed, 74 insertions(+) create mode 100644 hosts/retic/default.nix create mode 100644 hosts/retic/hardware-configuration.nix diff --git a/flake.nix b/flake.nix index a99f64a..d296c63 100644 --- a/flake.nix +++ b/flake.nix @@ -258,6 +258,7 @@ nixos-hardware.nixosModules.framework-11th-gen-intel ] "stan"; weather = buildSys "aarch64-linux" stable [ ] "weather"; + retic = buildSys "aarch64-linux" unstable [ ] "retic"; faf = buildSys "x86_64-linux" stable [ ./configs/hardened.nix ] "faf"; box = buildSys "x86_64-linux" unstable [ ./configs/hardened.nix ] "box"; diff --git a/hosts/retic/default.nix b/hosts/retic/default.nix new file mode 100644 index 0000000..f25a04c --- /dev/null +++ b/hosts/retic/default.nix @@ -0,0 +1,37 @@ +{ pkgs +, lib +, ... +}: +{ + _module.args.isUnstable = true; + imports = [ + ./hardware-configuration.nix + ]; + + boot = { + initrd.availableKernelModules = [ "usbhid" "usb_storage" "vc4" ]; + kernelPackages = pkgs.linuxPackages; + #kernelModules = [ "raspberrypi_ts" "rtc-ds3232" "rtc-ds1307" ]; + loader = { + grub.enable = false; + generic-extlinux-compatible.enable = true; + }; + }; + + networking = { + hostName = "retic"; + }; + + preDNS.enable = false; + systemd.services.NetworkManager-wait-online.serviceConfig.ExecStart = + lib.mkForce [ "" "${pkgs.networkmanager}/bin/nm-online -q" ]; + services = { + libinput.enable = true; + }; + environment.systemPackages = with pkgs; [ + python3Packages.rns + python3Packages.nomadnet + ]; + + system.stateVersion = "24.05"; +} diff --git a/hosts/retic/hardware-configuration.nix b/hosts/retic/hardware-configuration.nix new file mode 100644 index 0000000..a289ae7 --- /dev/null +++ b/hosts/retic/hardware-configuration.nix @@ -0,0 +1,36 @@ +{ ... }: { + fileSystems = { + "/" = { + device = "/dev/disk/by-label/NIXOS_SD"; + fsType = "ext4"; + }; + }; + + hardware = { + enableRedistributableFirmware = true; + bluetooth.enable = true; + }; + + #hardware.deviceTree = { + # overlays = [ + # #"${pkgs.raspberrypifw}/share/raspberrypi/boot/overlays/rpi-ft5406.dtbo" + # { + # name = "rpi4-cma-overlay"; + # dtsText = '' + # // SPDX-License-Identifier: GPL-2.0 + # /dts-v1/; + # /plugin/; + # / { + # compatible = "brcm,bcm2711"; + # fragment@0 { + # target = <&cma>; + # __overlay__ { + # size = <(512 * 1024 * 1024)>; + # }; + # }; + # }; + # ''; + # } + # ]; + #}; +}