diff options
author | Franz Geffke <franz@pantherx.org> | 2024-03-30 12:19:20 +0000 |
---|---|---|
committer | Franz Geffke <franz@pantherx.org> | 2024-03-30 12:19:20 +0000 |
commit | 63341fcc3c4fe0dbc9b7c74b68afcab3d7e9646e (patch) | |
tree | 6f87ada92ae33eb43c68f93f307178d352e8bd0b /px | |
parent | 7a472eb14e61bc5dd6f1d873332564aa327bee63 (diff) |
drop u-boot-rpi-*
Diffstat (limited to 'px')
-rw-r--r-- | px/bootloader/u-boot.scm | 18 | ||||
-rw-r--r-- | px/packages/bootloaders.scm | 62 |
2 files changed, 0 insertions, 80 deletions
diff --git a/px/bootloader/u-boot.scm b/px/bootloader/u-boot.scm deleted file mode 100644 index f1f8709..0000000 --- a/px/bootloader/u-boot.scm +++ /dev/null @@ -1,18 +0,0 @@ -(define-module (px bootloader u-boot) - #:use-module (gnu bootloader) - #:use-module (gnu bootloader u-boot) - #:use-module (guix gexp) - #:use-module (px packages bootloaders) - #:export (u-boot-rpi-arm64-bootloader)) - - -(define install-rpi-arm64-u-boot - #~(lambda (bootloader root-index image) - #t)) - - -(define u-boot-rpi-arm64-bootloader - (bootloader - (inherit u-boot-bootloader) - (package u-boot-rpi-arm64) - (disk-image-installer install-rpi-arm64-u-boot))) diff --git a/px/packages/bootloaders.scm b/px/packages/bootloaders.scm deleted file mode 100644 index 701400e..0000000 --- a/px/packages/bootloaders.scm +++ /dev/null @@ -1,62 +0,0 @@ -;;; Bootloader definitions for PantherX OS -;;; Reza Alizadeh Majd <r.majd@pantherx.org> -;;; - -(define-module (px packages bootloaders) - #:use-module (gnu bootloader) - #:use-module (gnu bootloader u-boot) - #:use-module (gnu packages) - #:use-module (gnu packages bootloaders) - #:use-module (gnu packages firmware) - #:use-module (guix gexp) - #:use-module (guix packages) - #:use-module (guix utils) - ;; #:export (u-boot-khadas-edge-rk3399-bootloader) - ) - -;;; required items: -;;; 1. bootloader package -;;; 2. bootloader definition -;;; - -; (define-public u-boot-khadas-edge-rk3399 -; (let ((base (make-u-boot-package "khadas-edge-rk3399" "aarch64-linux-gnu"))) -; (package -; (inherit base) -; (arguments -; (substitute-keyword-arguments (package-arguments base) -; ((#:phases phases) -; `(modify-phases ,phases -; (add-after 'unpack 'set-environment -; (lambda* (#:key inputs #:allow-other-keys) -; ;; Reference: -; ;; https://github.com/krescue/khadas-uboot/blob/2a2c7b5058b8cf26b4aa315d463f2c32c32d1abb/packages/arm-trusted-firmware/package.mk#L23 -; (setenv "BL31" (string-append (assoc-ref inputs "firmware") -; "/bl31.elf")) -; #t)) -; ;; Phases do not succeed on bl31 ELF. -; (delete 'strip) -; (delete 'validate-runpath))))) -; (native-inputs -; `(("firmware" ,arm-trusted-firmware-rk3399) -; ,@(package-native-inputs base)))))) - -; (define install-khadas-edge-rk3399-u-boot -; #~(lambda (bootloader root-index image) -; (let ((idb (string-append bootloader "/libexec/idbloader.img")) -; (u-boot (string-append bootloader "/libexec/u-boot.itb"))) -; ;; (write-file-on-device file size device offset) -; ;; TODO: we might need to update offset -; (write-file-on-device idb (stat:size (stat idb)) -; image (* 64 512)) -; (write-file-on-device u-boot (stat:size (stat u-boot)) -; image (* 16384 512))))) - -; (define u-boot-khadas-edge-rk3399-bootloader -; (bootloader -; (inherit u-boot-bootloader) -; (package u-boot-khadas-edge-rk3399) -; (disk-image-installer install-khadas-edge-rk3399-u-boot))) - -(define-public u-boot-rpi-arm64 - (make-u-boot-package "rpi_arm64" "aarch64-linux-gnu")) |