| 12345678910 |
- ProvenCore Dispatcher
- =====================
- ProvenCore dispatcher (PnC-D) adds support for ProvenRun's ProvenCore micro-kernel
- to work with Trusted Firmware-A (TF-A).
- ProvenCore is a secure OS developed by ProvenRun S.A.S. using deductive formal methods.
- Once a BL32 is ready, PnC-D can be included in the image by adding "SPD=pncd"
- to the build command.
|
