TSEC: Difference between revisions
| Line 1,857: | Line 1,857: | ||
On SCP boot, the ACL is 0x1F for all $cX. | On SCP boot, the ACL is 0x1F for all $cX. | ||
Loading into $cX using xdst instruction sets ACL($cX) to | Loading into $cX using xdst instruction sets ACL($cX) to 0x13 and 0x1F, for secure and insecure mode respectively. | ||
Spilling a $cX to DMEM using xdld instruction is allowed if (ACL($cX) & 2) or (ACL($cX) & 8), for secure and insecure mode respectively. | Spilling a $cX to DMEM using xdld instruction is allowed if (ACL($cX) & 2) or (ACL($cX) & 8), for secure and insecure mode respectively. | ||