On 24 January 2014 12:28, Kyrill Tkachov <kyrylo.tkachov@arm.com> wrote: > [libgloss/] > 2014-01-24 Kyrylo Tkachov <kyrylo.tkachov@arm.com> > > * aarch64/cpu-init/rdimon-aem-el3.S (flat_map): Clear WXN bit > in SCTLR_EL3. Add dsb. Looks good to me. /Marcus