On Fri, 8 Sep 2017, Eddy Petri?or wrote: Is this operating in aarch64 mode? It currently boots in aarch32 mode.
Is this operating in aarch64 mode?