K 10 svn:author V 6 andrew K 8 svn:date V 27 2014-08-20T15:56:13.883307Z K 7 svn:log V 105 Use the l1 physical address to set ttbr0. This allows us to map user programs in in their address space. END