Language

Package: arm-trusted-firmware-rk3328 @ 2.2

Synopsis

Implementation of "secure world software"

Description

ARM Trusted Firmware provides a reference implementation of secure world software for ARMv7A and ARMv8-A, including a Secure Monitor executing at Exception Level 3 (EL3). It implements various ARM interface standards, such as:

  1. The Power State Coordination Interface (PSCI)

  2. Trusted Board Boot Requirements (TBBR, ARM DEN0006C-1)

  3. SMC Calling Convention

  4. System Control and Management Interface

  5. Software Delegated Exception Interface (SDEI)

Home page
https://www.trustedfirmware.org/
Location
gnu/packages/firmware.scm (line: 381, column: 2)
Licenses

Lint warnings

LinterMessageLocation
patch-file-names

Validate file names and availability of patches

file names of patches should start with the package name
formatting

Look for formatting issues in the source

parentheses feel lonely, move to the previous or next line