diff options
| -rw-r--r-- | gnu/packages/bootloaders.scm | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index 22b88dd1b9..ff9078b9f7 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -392,12 +392,13 @@ also initializes the boards (RAM etc).") (if (file-exists? (string-append "configs/" config-name)) (zero? (apply system* "make" `(,@make-flags ,config-name))) (begin - (display "Invalid board name. Valid board names are:") + (display "Invalid board name. Valid board names are:" + (current-error-port)) (let ((suffix-len (string-length "_defconfig")) (entries (scandir "configs"))) (for-each (lambda (file-name) (when (string-suffix? "_defconfig" file-name) - (format #t + (format (current-error-port) "- ~A\n" (string-drop-right file-name suffix-len)))) @@ -473,6 +474,9 @@ also initializes the boards (RAM etc).") (define-public u-boot-novena (make-u-boot-package "novena" "arm-linux-gnueabihf")) +(define-public u-boot-versatilepb + (make-u-boot-package "vesx" "arm-linux-gnueabihf")) + (define-public vboot-utils (package (name "vboot-utils") |