xref: /rk3399_ARM-atf/docs/components/spd/pnc-dispatcher.rst (revision b86cbe10d251284571595fd95a791cfcc3f79cd8)
1*b0980e58SFlorian LugouProvenCore Dispatcher
2*b0980e58SFlorian Lugou=====================
3*b0980e58SFlorian Lugou
4*b0980e58SFlorian LugouProvenCore dispatcher (PnC-D) adds support for ProvenRun's ProvenCore micro-kernel
5*b0980e58SFlorian Lugouto work with Trusted Firmware-A (TF-A).
6*b0980e58SFlorian Lugou
7*b0980e58SFlorian LugouProvenCore is a secure OS developed by ProvenRun S.A.S. using deductive formal methods.
8*b0980e58SFlorian Lugou
9*b0980e58SFlorian LugouOnce a BL32 is ready, PnC-D can be included in the image by adding "SPD=pncd"
10*b0980e58SFlorian Lugouto the build command.
11