Re: [9fans] Plan 9 port to Raspberry Pi 3 Model B (ARM64)?

[Richard Miller]

>> cpu0: 1200MHz ARM Cortex-A53 r0p4
> 
> it's ARMv8-A!

When booted in 32-bit mode, it behaves like armv7a.