`aarch64`

pi@raspberrypi:~ $ uname -a
Linux raspberrypi 4.8.16-v8+ #1 SMP Mon Jan 9 20:57:18 UTC 2017 aarch64 GNU/Linux
pi@raspberrypi:~ $ file ./HelloWorld 
./HelloWorld: ELF 64-bit LSB executable, ARM aarch64, version 1 (SYSV), statically linked, for GNU/Linux 3.7.0, BuildID[sha1]=cb2cbdf1627b656a29c5acf3edda2dcdf0afbc7b, not stripped
pi@raspberrypi:~ $ ./HelloWorld 
Hello World!

概要

参考: Build a 64-bit Kernel for your Raspberry Pi 3
RPi3用の64bitカーネルをクロスビルドして、Raspbian(32bit!)で使用する.
利点? 64bit キブン を味わえる??

環境

Windows 10
- Vagrant + VirtualBox
  =>参考: [メモ] Windowsで、Virtualbox+Vagrant(ヴェイグラント)環境
Raspberry Pi 3 model B
- 2016-11-25-raspbian.img
何度もチャレンジしそうな場合は、aptキャッシュサーバを導入しておくと良い、かと。
=>[メモ] aptのキャッシュサーバ(apt-cacher-ng)

手順

64bitカーネルのビルド

Vagrantfile

Vagrantfile

# Vagrantfile
# 

VM_MEMORY=1024
VM_CORES=2

Vagrant.configure("2") do |config|
	config.vm.box = "ubuntu/xenial64"
	config.vm.network "forwarded_port", guest: 22, host: 22
	# config.vm.network "public_network", bridge: 'Intel(R) Ethernet Connection I217-LM'

	config.vm.provider "virtualbox" do |vb|
		#   vb.gui = true
		vb.name = "Build aarch64 kernel for RPi3"
		vb.memory = VM_MEMORY
		vb.cpus = VM_CORES
	end

	config.vm.provision "shell", inline: <<-SHELL
		echo `cat /proc/uptime | cut -f 1 -d ' '`  apt update
		# # apt cache server 
		# echo 'Acquire::http::Proxy "http://apt-cache-server:3142";' | sudo tee /etc/apt/apt.conf.d/02proxy
		apt-get -q update -q
		echo `cat /proc/uptime | cut -f 1 -d ' '` apt install
		apt-get -q install -q -y bc build-essential gcc-aarch64-linux-gnu git unzip libncurses5-dev 
		apt-get -q -y autoremove -q
		apt-get -q -y clean -q
		cd /home/ubuntu/
		echo `cat /proc/uptime | cut -f 1 -d ' '` Preparing: raspberrypi/linux
		if [ -d linux/kernel ] ; then cd linux ; git pull ; cd .. ; else git clone --depth=1 -b rpi-4.8.y https://github.com/raspberrypi/linux.git ; fi
		chown ubuntu.ubuntu -R linux
		echo `cat /proc/uptime | cut -f 1 -d ' '` Done
	SHELL
end


2. `vagrant up`
3. `vagrant ssh`
4. Build

    ```bash:↓こぴぺ
cd $HOME/linux
#
make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- bcmrpi3_defconfig
time make -j 4 ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu-
#
WORK_DIR=$HOME/work
DEST_DIST=/vagrant
cd $HOME/linux
mkdir -p ${WORK_DIR}/boot
cp arch/arm64/boot/Image ${WORK_DIR}/boot/kernel8.img 
cp arch/arm64/boot/dts/broadcom/bcm2710-rpi-3-b.dtb ${WORK_DIR}/boot/
make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu INSTALL_MOD_PATH=${WORK_DIR} modules_install
#
cd ${WORK_DIR}
rm -fv ${DEST_DIST}/RPi_aarch64.tbz
tar jcvf ${DEST_DIST}/RPi_aarch64.tbz *
#
cd ..
rm -rf ${WORK_DIR}
ls -l ${DEST_DIST}/RPi_aarch64.tbz
#

=> RPi_aarch64.tbzができる。

RPi3実機にて

Raspbianを焼く
- ssh: bootパーティションに sshというファイルを作成
- RPi_aarch64.tbz をbootパーティションにコピー (42MBくらいフリーで、tbzは17.2MBくらいだから大丈夫かと)
Raspbianで、起動.
解凍、コピー、config.txt編集
↓コピペ

uname -a ; mkdir work ; cd work ; tar xf /boot/RPi_aarch64.tbz ; sudo cp -rv * / ; echo "kernel=kernel8.img" | sudo tee -a /boot/config.txt ; sync


4. 再起動<br>`sudo reboot`
   
## その他

### 64bit版 Hello World!実行.

```shell-session:カーネルをビルドしたPCにて
ubuntu@ubuntu-xenial:~$ cat HelloWorld.c
#include <stdio.h>

int main(int ac, char *av[])
{
    printf("Hello World!\n");
    return 0;
}

ubuntu@ubuntu-xenial:~$ # aarch64のgccにてビルド.
ubuntu@ubuntu-xenial:~$ aarch64-linux-gnu-gcc HelloWorld.c -o HelloWorld -static
ubuntu@ubuntu-xenial:~$ # scpにて転送
ubuntu@ubuntu-xenial:~$ scp HelloWorld pi@10.10.6.175:/home/pi
pi@10.10.6.175's password:
HelloWorld                                    100%  605KB 604.9KB/s   00:00
ubuntu@ubuntu-xenial:~$

RPi3にて.

pi@raspberrypi:~ $ file ./HelloWorld 
./HelloWorld: ELF 64-bit LSB executable, ARM aarch64, version 1 (SYSV), statically linked, for GNU/Linux 3.7.0, BuildID[sha1]=cb2cbdf1627b656a29c5acf3edda2dcdf0afbc7b, not stripped
pi@raspberrypi:~ $ ./HelloWorld 
Hello World!