This is a port of the Tegra186 Boot and Power Management Processor (BPMP) interfaces from U-Boot to seL4.
The port consists of modifying the original sources to use the native seL4 mechanisms and libraries instead of the U-Boot mechanisms.
This library also contains drivers for the Hardware Synchronisation Primitives (HSP) device and the Inter-VM Communication (IVC) protocol.
Refer to DESIGN.md for more information about these devices and drivers.