GPIO on Arch Linux ARM for Raspberry Pi 3 (aarch64) While everyone appears to prefer that you don't, performance is a bit better on 64bit ALARM vs. 32bit for what I'm doing. Also, I get that warm, tingly feeling of running upstream kernel without odd Broadcom or RPi Foundation patches.
