Djam/arm-trusted-firmware
1
0
Fork 0
mirror of https://github.com/ARM-software/arm-trusted-firmware.git synced 2025-05-08 10:08:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat(services): add a SPD for ProvenCore

Browse source 
Adds a dispatcher for ProvenCore based on the test secure payload
dispatcher.

Signed-off-by: Florian Lugou <florian.lugou@provenrun.com>
Change-Id: I978afc3af6a6f65791655685a7bc80070673c9f3
This commit is contained in:
Florian Lugou 2021-09-08 12:42:54 +02:00
parent dcb31ff790
commit b0980e5843
10 changed files with 806 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
docs/components/spd/index.rst
View file

@ -8,3 +8,4 @@ Secure Payload Dispatcher (SPD)
optee-dispatcher
tlk-dispatcher
trusty-dispatcher
pnc-dispatcher

10
docs/components/spd/pnc-dispatcher.rst Normal file
View file

@ -0,0 +1,10 @@
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.