Lines Matching refs:OS
91 stages and also by the Normal World Rich OS.
95 - TOS_FW_CONFIG - Trusted OS Firmware configuration file. Used by Trusted OS
860 If a system runs a Trusted OS or other Secure-EL1 Payload (SP) then
864 `SMCCC`_ provides for such SMCs with the Trusted OS Call and Trusted
917 initialization. This happens prior to initializing a Trusted OS and running
946 OENs, e.g. SMCs to call a Trusted OS function. To optimize the lookup of a
1073 On a production system that includes a Trusted OS running in Secure-EL1/EL0,
1074 the Trusted OS is coupled with a companion runtime service in the BL31
1076 OS and all communications with it. The Trusted OS is the BL32 stage of the
1081 the *Secure-EL1 Payload* - as it is not always a Trusted OS.
1084 Dispatcher (TSPD) service as an example of how a Trusted OS is supported on a
1086 Test BL32 image and service are replaced by the Trusted OS and its dispatcher