From 6a5395b0404556cfbb4d4d981f388e6e18a32c7c Mon Sep 17 00:00:00 2001
From: Astro <astro@spaceboyz.net>
Date: Fri, 18 Nov 2022 21:09:28 +0100
Subject: [PATCH] radiobert: try to make it bootable again

actually try this on a day with nice weather
---
 hosts/radiobert/default.nix | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/hosts/radiobert/default.nix b/hosts/radiobert/default.nix
index 973e2daf..69085379 100644
--- a/hosts/radiobert/default.nix
+++ b/hosts/radiobert/default.nix
@@ -26,14 +26,13 @@
 
   boot = {
     loader = {
+      # generates entry for u-boot
+      generic-extlinux-compatible.enable = true;
       grub.enable = false;
       raspberryPi = {
-        enable = true;
+        # don't use rpi bootloader shit
+        enable = false;
         version = 4;
-        # TODO: this machine actually has u-boot setup but that's no
-        # longer working with nixos-22.05. DO NOT REBOOT! :-)
-        # https://github.com/NixOS/nixpkgs/pull/112677
-        # uboot.enable = true;
         firmwareConfig = ''
           gpu_mem=192
           dtparam=audio=on