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.
52 lines
2.0 KiB
52 lines
2.0 KiB
;; 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)))
|
|
|