Language

Package: u-boot-pinebook-pro-rk3399 @ 2021.10

Synopsis

ARM bootloader

Description

U-Boot is a bootloader used mostly for ARM boards. It also initializes the boards (RAM etc).

Home page
https://www.denx.de/wiki/U-Boot/
Location
gnu/packages/bootloaders.scm (line: 998, column: 4)
License

Lint warnings

LinterMessageLocation
patch-file-names

Validate file names and availability of patches

file names of patches should start with the package name
input-labels

Identify input labels that do not match package names

label 'firmware' does not match package name 'arm-trusted-firmware-rk3399'
input-labels

Identify input labels that do not match package names

label 'cross-gcc' does not match package name 'gcc-cross-sans-libc-aarch64-linux-gnu'
input-labels

Identify input labels that do not match package names

label 'cross-binutils' does not match package name 'binutils-cross-aarch64-linux-gnu'