| Florian Lugou | 71d33be | 2021-09-08 12:42:54 +0200 | [diff] [blame] | 1 | ProvenCore Dispatcher |
| 2 | ===================== | ||||
| 3 | |||||
| 4 | ProvenCore dispatcher (PnC-D) adds support for ProvenRun's ProvenCore micro-kernel | ||||
| 5 | to work with Trusted Firmware-A (TF-A). | ||||
| 6 | |||||
| 7 | ProvenCore is a secure OS developed by ProvenRun S.A.S. using deductive formal methods. | ||||
| 8 | |||||
| 9 | Once a BL32 is ready, PnC-D can be included in the image by adding "SPD=pncd" | ||||
| 10 | to the build command. | ||||