I see.

The additions would be then:

(define-public u-boot-vexpress_ca9x4
  (make-u-boot-package "vexpress_ca9x4"))

(define-public u-boot-malta
  (make-u-boot-package "malta"))

Reply via email to