sfx2000
Part of the Furniture
The OS is compiled in 64-bit, including the CFE.
EDIT: hm I wonder if they changed it, because the prebuilt binary blobs report as being 32-bit in recent GPLs - they used to be 64-bit.
EDIT2: Can't remember where I saw a reference to 64-bit beside the CFE boot banner. <shrug>
I still haven't taken a deep dive, but it makes sense to keep things 32-bit, due to the pre-built binaries from third parties - it's less overhead from the 32/64 context switch, and Aarch32 still benefits from the ARMv8 instruction set...
edit - pre-built binaries being ARMv7-a...