mirror of https://codeberg.org/hako/Rosenthal.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
57 lines
2.1 KiB
57 lines
2.1 KiB
2 years ago
|
;; SPDX-FileCopyrightText: 2022 Hilton Chain <hako@ultrarare.space>
|
||
|
|
;;
|
||
|
|
;; SPDX-License-Identifier: GPL-3.0-or-later
|
||
|
|
|
||
|
|
(define-module (rosenthal bootloader u-boot)
|
||
|
|
#:use-module (gnu bootloader)
|
||
|
|
#:use-module (gnu bootloader u-boot)
|
||
|
|
#:use-module (guix gexp)
|
||
|
|
#:use-module (rosenthal packages bootloaders)
|
||
|
|
#:export (u-boot-rpi4-arm64-bootloader))
|
||
|
|
|
||
|
|
;; Autoload Nonguix*, so we only have a soft dependency.
|
||
|
|
;; * <https://gitlab.com/nonguix/nonguix>
|
||
|
|
(module-autoload! (current-module)
|
||
|
|
'(nongnu packages linux) '(raspberrypi-firmware))
|
||
|
|
|
||
|
|
(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)))
|