mirror of
https://github.com/ARM-software/arm-trusted-firmware.git
synced 2025-04-15 17:14:21 +00:00
b0980e5843
Adds a dispatcher for ProvenCore based on the test secure payload dispatcher. Signed-off-by: Florian Lugou <florian.lugou@provenrun.com> Change-Id: I978afc3af6a6f65791655685a7bc80070673c9f3
10 lines
358 B
ReStructuredText
10 lines
358 B
ReStructuredText
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.
|