|
|
@ -3,17 +3,13 @@ |
|
|
|
;; SPDX-License-Identifier: GPL-3.0-or-later |
|
|
|
;; SPDX-License-Identifier: GPL-3.0-or-later |
|
|
|
|
|
|
|
|
|
|
|
(define-module (rosenthal bootloader u-boot) |
|
|
|
(define-module (rosenthal bootloader u-boot) |
|
|
|
|
|
|
|
#:use-module (ice-9 format) |
|
|
|
|
|
|
|
#:use-module (guix gexp) |
|
|
|
#:use-module (gnu bootloader) |
|
|
|
#:use-module (gnu bootloader) |
|
|
|
#:use-module (gnu bootloader u-boot) |
|
|
|
#:use-module (gnu bootloader u-boot) |
|
|
|
#:use-module (guix gexp) |
|
|
|
|
|
|
|
#:use-module (rosenthal packages bootloaders) |
|
|
|
#:use-module (rosenthal packages bootloaders) |
|
|
|
#:export (u-boot-rpi4-arm64-bootloader)) |
|
|
|
#: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 |
|
|
|
(define %rpi4-arm64-boot-config |
|
|
|
(plain-file "config.txt" (format #f "~ |
|
|
|
(plain-file "config.txt" (format #f "~ |
|
|
|
enable_uart=1 |
|
|
|
enable_uart=1 |
|
|
@ -27,10 +23,15 @@ kernel=u-boot.bin |
|
|
|
#~(lambda (bootloader device mount-point) |
|
|
|
#~(lambda (bootloader device mount-point) |
|
|
|
(let ((u-boot (string-append bootloader "/libexec/u-boot.bin")) |
|
|
|
(let ((u-boot (string-append bootloader "/libexec/u-boot.bin")) |
|
|
|
(install-dir (string-append mount-point "/boot"))) |
|
|
|
(install-dir (string-append mount-point "/boot"))) |
|
|
|
|
|
|
|
;; Autoload Nonguix*, so we only have a soft dependency. |
|
|
|
|
|
|
|
;; * <https://gitlab.com/nonguix/nonguix> |
|
|
|
|
|
|
|
(module-autoload! (current-module) |
|
|
|
|
|
|
|
'(nongnu packages linux) '(raspberrypi-firmware)) |
|
|
|
|
|
|
|
|
|
|
|
;; Install raspberrypi-firmware |
|
|
|
;; Install raspberrypi-firmware |
|
|
|
(for-each (lambda (file) |
|
|
|
(for-each (lambda (file) |
|
|
|
(install-file |
|
|
|
(install-file |
|
|
|
(string-append #$raspberrypi-firmware "/" file) install-dir)) |
|
|
|
(string-append raspberrypi-firmware "/" file) install-dir)) |
|
|
|
'(;; VideoCore firmwares |
|
|
|
'(;; VideoCore firmwares |
|
|
|
"start4.elf" ;basic |
|
|
|
"start4.elf" ;basic |
|
|
|
"start4x.elf" ;camera drivers and codec |
|
|
|
"start4x.elf" ;camera drivers and codec |
|
|
|