A.I.
configs: add raspberrypi3 64bits defconfig https://git.busybox.net/buildroot/commit/?id=9bbea36e3e6f27475dd8589f087522745aa39aa5
Architectures other than amd64? https://github.com/docker-library/official-images#architectures-other-than-amd64
close via https://github.com/bargees/barge-os/tree/rpi-arm64v8
reopen: it's not good enough for dts. ARM64: Make it work again on 4.9 by Electron752 · Pull Request #1790 · raspberrypi/linux https://github.com/raspberrypi/linux/pull/1790 https://github.com/DieterReuter/rpi64-kernel/blob/master/build-kernel.sh
Build 64-bit kernel for Raspberry Pi 3, using native tools | TalOrg http://www.tal.org/tutorials/raspberry-pi3-build-64-bit-kernel Booting 64-bit kernel on Raspberry Pi 3 | TalOrg http://www.tal.org/tutorials/booting-64-bit-kernel-raspberry-pi-3
Raspberry Pi 3 64 bit Install - Gentoo Wiki https://wiki.gentoo.org/wiki/Raspberry_Pi_3_64_bit_Install
RaspberryPi3 Model Bを64bitで動かす - Qiita https://qiita.com/takeoverjp/items/5bc9e34e7016bc5b5692
Cross-compile aarch64 using 4.12y No act/pwr LED support · Issue #2030 · raspberrypi/linux https://github.com/raspberrypi/linux/issues/2030
Fix LED issues via Enable drivers for GPIO expander and vcio · bargees/barge-os@150db0e
board/raspberrypi: update firmware option to use 64-bit mode https://github.com/buildroot/buildroot/commit/722c11ce7b25a1925498483ef58f59d0931b2ca7