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