Changes

1 byte added ,  20:22, 5 December 2019
no edit summary
* System register configuration now sets CPUACTLR_EL1.
** This sets CPUACTLR_EL1 to the same value as in [[ernel_LoaderKernel_Loader#KernelLdr_MapInitialIdentityMapping]], previously this code only configured CPUECTLR_EL1.