遅ればせながらラズパイ3を入手しました。

/proc/cpuinfoをみてびっくり。armv8でなくてarmv7と出てくる。dmesgを見てもどこにも64bitぽいことが書いてない。ラズパイ3はrootfsだけでなくてkernelも32bitで動いているようだ。ちなみにNano Pi Neo 2はkernelもrootfsも両方64bitになってる。
— 組み込みの人。 (@tetsu_koba) 2018年3月10日

$ cat /proc/version
Linux version 4.14.24-v7+ (dc4@dc4-XPS13-9333) (gcc version 4.9.3 (crosstool-NG crosstool-ng-1.22.0-88-g8460611)) #1097 SMP Mon Mar 5 16:42:05 GMT 2018
$ cat /proc/cpuinfo
processor	: 0
model name	: ARMv7 Processor rev 4 (v7l)
BogoMIPS	: 38.40
Features	: half thumb fastmult vfp edsp neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm crc32 
CPU implementer	: 0x41
CPU architecture: 7
CPU variant	: 0x0
CPU part	: 0xd03
CPU revision	: 4

processor	: 1
model name	: ARMv7 Processor rev 4 (v7l)
BogoMIPS	: 38.40
Features	: half thumb fastmult vfp edsp neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm crc32 
CPU implementer	: 0x41
CPU architecture: 7
CPU variant	: 0x0
CPU part	: 0xd03
CPU revision	: 4

processor	: 2
model name	: ARMv7 Processor rev 4 (v7l)
BogoMIPS	: 38.40
Features	: half thumb fastmult vfp edsp neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm crc32 
CPU implementer	: 0x41
CPU architecture: 7
CPU variant	: 0x0
CPU part	: 0xd03
CPU revision	: 4

processor	: 3
model name	: ARMv7 Processor rev 4 (v7l)
BogoMIPS	: 38.40
Features	: half thumb fastmult vfp edsp neon vfpv3 tls vfpv4 idiva idivt vfpd32 lpae evtstrm crc32 
CPU implementer	: 0x41
CPU architecture: 7
CPU variant	: 0x0
CPU part	: 0xd03
CPU revision	: 4

Hardware	: BCM2835
Revision	: a02082
Serial		: 000000001910d2d7

/boot のカーネルイメージは以下の2種類しかない。kernel.img は初代Raspberry Pi用でarmv6。kernel7.img がRaspberry Pi 2用でarmv7。Raspberry Pi 3もkernel7.img で動いているようだ。

$ ls -l /boot/kernel*
-rwxr-xr-x 1 root root 4827200 Mar  6 03:26 /boot/kernel7.img
-rwxr-xr-x 1 root root 4621952 Mar  6 03:26 /boot/kernel.img

#参考。Nano Pi NEO 2

Nano Pi NEO 2もCortex-A53 (64bit arm)が載っている。

$ cat /proc/version 
Linux version 4.11.2 (root@wwd) (gcc version 6.3.1 20170109 (Linaro GCC 6.3-2017.02) ) #4 SMP Wed Jul 19 17:53:37 CST 2017

$ cat /proc/cpuinfo
processor	: 0
BogoMIPS	: 48.00
Features	: fp asimd evtstrm aes pmull sha1 sha2 crc32 cpuid
CPU implementer	: 0x41
CPU architecture: 8
CPU variant	: 0x0
CPU part	: 0xd03
CPU revision	: 4

processor	: 1
BogoMIPS	: 48.00
Features	: fp asimd evtstrm aes pmull sha1 sha2 crc32 cpuid
CPU implementer	: 0x41
CPU architecture: 8
CPU variant	: 0x0
CPU part	: 0xd03
CPU revision	: 4

processor	: 2
BogoMIPS	: 48.00
Features	: fp asimd evtstrm aes pmull sha1 sha2 crc32 cpuid
CPU implementer	: 0x41
CPU architecture: 8
CPU variant	: 0x0
CPU part	: 0xd03
CPU revision	: 4

processor	: 3
BogoMIPS	: 48.00
Features	: fp asimd evtstrm aes pmull sha1 sha2 crc32 cpuid
CPU implementer	: 0x41
CPU architecture: 8
CPU variant	: 0x0
CPU part	: 0xd03
CPU revision	: 4

Hardware	: Allwinnersun50iw2Family
Revision	: 0000
Serial		: 0000000000000000

#関連

Raspberry Pi 3 を64bitモードで動かすイメージをBuildrootで作る