Attempt to get Rpi to work

4 files changed, 119 insertions, 3 deletions

diff --git a/nixos/modules/Rpi.md b/nixos/modules/Rpi.md
new file mode 100644
index 0000000..43b172f
--- /dev/null
+++ b/nixos/modules/Rpi.md
@@ -0,0 +1,25 @@
+# Raspberry Pi SD card preparation steps
+
+```
+~# parted /dev/sdx
+(parted) mktable msdos
+(parted) mkpart primary fat16 0% 120M
+(parted) mkpart primary btrfs 120M 100%
+(parted) set 2 boot on
+(parted) quit
+~# mkfs.vfat -F16 /dev/sdx1
+~# mkfs.btrfs /dev/sdx2
+
+~# mount /dev/sdx1 /mnt
+~# nix build .#firmware-HOST
+~# cp -r result/* /mnt/
+~# umount mnt
+
+~# mount /dev/sdx2 /mnt
+~# nix copy --to /mnt .#toplevel-HOST
+~# nix build --print-out-paths .#toplevel-HOST
+~# nix eval .#nixosConfigurations.HOST.config.boot.loader.generic-extlinux-compatible.populateCmd
+"/nix/store/AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA-extlinux-conf-builder.sh -g 20 -t 5"
+~# /nix/store/AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA-extlinux-conf-builder.sh -c  -d ./mnt/boot
+~# umount mnt
+```
diff --git a/nixos/modules/generic.nix b/nixos/modules/generic.nix
index 502d0c3..c5dbd98 100644
--- a/nixos/modules/generic.nix
+++ b/nixos/modules/generic.nix
@@ -31,8 +31,11 @@ in {
     };
 
     boot = {
-      loader.systemd-boot.enable = mkOverride 1100 true;
-      loader.efi.canTouchEfiVariables = mkDefault true;
+      loader = {
+        systemd-boot.enable = mkOverride 1100 true;
+        efi.canTouchEfiVariables = mkDefault true;
+        grub.enable = mkOverride 1100 false;
+      };
       kernelPackages = mkOverride 1100 pkgs.linuxPackages_latest;
       kernelParams = ["boot.shell_on_fail"];
     };
diff --git a/nixos/modules/packages.nix b/nixos/modules/packages.nix
index 3dd4fbc..55db94d 100644
--- a/nixos/modules/packages.nix
+++ b/nixos/modules/packages.nix
@@ -41,7 +41,6 @@ in {
       btop
       iotop
       mc
-      screen
       tmux
 
       # ls tools
@@ -73,6 +72,7 @@ in {
       nmap
       ltrace
       pv
+      screen
     ]
     ++ optionals (!isNative) [
       ncdu_1
diff --git a/nixos/modules/rpi.nix b/nixos/modules/rpi.nix
new file mode 100644
index 0000000..e4e10fe
--- /dev/null
+++ b/nixos/modules/rpi.nix
@@ -0,0 +1,88 @@
+{
+  config,
+  lib,
+  pkgs,
+  ...
+}: let
+  inherit (lib) mkOption types mkMerge mkIf;
+
+  configTxt = pkgs.writeText "config.txt" ''
+    [pi3]
+    kernel=u-boot-rpi3.bin
+
+    # Boot in 64-bit mode.
+    arm_64bit=1
+
+    # Otherwise the serial output will be garbled.
+    core_freq=250
+    # Boot in 64-bit mode.
+    arm_64bit=1
+
+    [all]
+    # U-Boot needs this to work, regardless of whether UART is actually used or not.
+    # Look in arch/arm/mach-bcm283x/Kconfig in the U-Boot tree to see if this is still
+    # a requirement in the future.
+    enable_uart=1
+
+    # Prevent the firmware from smashing the framebuffer setup done by the mainline kernel
+    # when attempting to show low-voltage or overtemperature warnings.
+    avoid_warnings=1
+  '';
+in {
+  options.cynerd.rpi = mkOption {
+    type = with types; nullOr (enum [2 3]);
+    default = null;
+    description = "If machine is RaspberryPi and which version";
+  };
+
+  config = mkMerge [
+    (mkIf (config.cynerd.rpi == 2) {
+      nixpkgs.hostPlatform.system = "armv7l-linux";
+    })
+    (mkIf (config.cynerd.rpi == 3) {
+      nixpkgs.hostPlatform.system = "aarch64-linux";
+      boot.kernelParams = ["console=ttyS1,115200n8"];
+    })
+    (mkIf (config.cynerd.rpi != null) {
+      boot.loader = {
+        systemd-boot.enable = false;
+        efi.canTouchEfiVariables = false;
+        generic-extlinux-compatible.enable = true;
+      };
+      boot.consoleLogLevel = 7;
+
+      fileSystems = {
+        "/" = {
+          device = "/dev/mmcblk0p2";
+          fsType = "ext4";
+        };
+        #"/" = {
+        #  device = "/dev/mmcblk0p2";
+        #  fsType = "btrfs";
+        #  options = ["compress=lzo"];
+        #};
+        "/boot/firmware" = {
+          device = "/dev/mmcblk0p1";
+          fsType = "vfat";
+          options = ["nofail"];
+        };
+      };
+
+      services.journald.extraConfig = ''
+        SystemMaxUse=512M
+      '';
+
+      system.build.firmware = pkgs.callPackage ({stdenvNoCC}:
+        stdenvNoCC.mkDerivation {
+          name = "${config.system.name}-firmware";
+          buildCommand = ''
+            mkdir $out
+            cp -r ${pkgs.raspberrypifw}/share/raspberrypi/boot/* $out/
+            cp ${configTxt} $out/config.txt
+            # TODO support rpi2
+            cp ${pkgs.ubootRaspberryPi3_btrfs}/u-boot.bin $out/u-boot-rpi3.bin
+          '';
+        }) {};
+    })
+  ];
+}