rosenthal: Remove RPi related stuff.

* rosenthal/bootloader/u-boot.scm: Delete file.
* rosenthal/packages/bootloaders.scm: Delete file.

rosenthal/bootloader/u-boot.scm

@@ -1,52 +0,0 @@
-;; SPDX-FileCopyrightText: 2022 Hilton Chain <hako@ultrarare.space>
-;;
-;; SPDX-License-Identifier: GPL-3.0-or-later
-
-(define-module (rosenthal bootloader u-boot)
-  #:use-module (ice-9 format)
-  #:use-module (guix gexp)
-  #:use-module (gnu bootloader)
-  #:use-module (gnu bootloader u-boot)
-  #:use-module (rosenthal packages bootloaders)
-  #:export (u-boot-rpi4-arm64-bootloader))
-
-(define %rpi4-arm64-boot-config
-  (plain-file "config.txt" (format #f "~
-enable_uart=1
-avoid_warnings=1
-arm_64bit=1
-kernel=u-boot.bin
-")))
-
-;; https://www.raspberrypi.com/documentation/computers/configuration.html#the-boot-folder
-(define install-rpi4-arm64-bootloader
-  #~(lambda (bootloader device mount-point)
-      (let ((u-boot (string-append bootloader "/libexec/u-boot.bin"))
-            (install-dir (string-append mount-point "/boot")))
-        ;; Install raspberrypi-firmware
-        ;; (for-each (lambda (file)
-        ;;             (install-file
-        ;;              (string-append #$raspberrypi-firmware "/" file) install-dir))
-        ;;           '(;; VideoCore firmwares
-        ;;             "start4.elf"        ;basic
-        ;;             "start4x.elf"       ;camera drivers and codec
-        ;;             "start4cd.elf"      ;cut-down
-        ;;             "start4db.elf"      ;debug
-        ;;             ;; Linker files
-        ;;             "fixup4.dat"
-        ;;             "fixup4x.dat"
-        ;;             "fixup4cd.dat"
-        ;;             "fixup4db.dat"
-        ;;             ;; Device Tree Overlays (for Raspberry Pi's bootloader)
-        ;;             "bcm2711-rpi-4-b.dtb"))
-        ;; Install u-boot
-        (install-file u-boot install-dir)
-        ;; Raspberry Pi's bootloader configuration
-        (copy-file #$%rpi4-arm64-boot-config
-                   (string-append install-dir "/config.txt")))))
-
-(define u-boot-rpi4-arm64-bootloader
-  (bootloader
-   (inherit u-boot-bootloader)
-   (package u-boot-rpi-arm64)
-   (installer install-rpi4-arm64-bootloader)))

rosenthal/packages/bootloaders.scm

@@ -1,9 +0,0 @@
-;; SPDX-FileCopyrightText: 2022 Hilton Chain <hako@ultrarare.space>
-;;
-;; SPDX-License-Identifier: GPL-3.0-or-later
-
-(define-module (rosenthal packages bootloaders)
-  #:use-module (gnu packages bootloaders))
-
-(define-public u-boot-rpi-arm64
-  (make-u-boot-package "rpi_arm64" "aarch64-linux-gnu"))