| <!-- |
| Copright 2019, Data61 |
| Commonwealth Scientific and Industrial Research Organisation (CSIRO) |
| ABN 41 687 119 230. |
| |
| This software may be distributed and modified according to the terms of |
| the GNU General Public License version 2. Note that NO WARRANTY is provided. |
| See "LICENSE_GPLv2.txt" for details. |
| |
| @TAG(DATA61_GPL) |
| --> |
| |
| libtx2bpmp |
| ========== |
| |
| 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. |
