pnc-dispatcher.rst 358 B

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