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