2. OverView in 4hours
● Install NetBSD/i386 on VirtualBox
– Make earmv6hf cross-compiling toolchain
– Make RPI kernel
● Install NetBSD/earmv6hf on RPI
– Play RPI with NetBSD
– Feel difference between your favorite environment
● Copy your RPI kernel to RPI
– Update NetBSD-current kernel
● Boot RPI with your cross-compiled kernel
3. Hardwares
● Windows 10 PC with VirtualBox
● Raspberry PI
– MicroSD Card: 4 or 8GB class 10
– HDMI Display
– USB Keyboard/mouse
– USB power supply
– Ethernet Cable
● Internet access via Ethernet Cable
– RPI get IP address via DHCP
– RPI set time via NTP
5. VirtualBox
● NetBSD on VirtualBox
● NetBSD-7.0.1-i386.iso
● cd /usr
● ftp
http://cdn.netbsd.org/pub/NetBSD/NetBSD-current/tar_files/src.tar.gz
● tar xzvf src.tar.gz
6. NetBSD RPI Image
● on Windows
● http://cdn.netbsd.org/pub/NetBSD/misc/jun/raspberry-
pi/2016-07-29-earmv6hf/2016-07-29-netbsd-raspi-
earmv6hf.img.gz
● http://www.netbsd.org/~martin/rawrite32/download.html
● Use rawrite32 to write RPI image to microSD
● Connect RPI:
● Boot
● Wait 10 min to resize partition
10. Reboot and / mount failed
● Power supply cut down failure
– make file system damaged
● Reboot but / read only access
● drop on single usermode
– df
– fsck /dev/ld0a
– reboot
● /etc/fstab
– add “log,noatime”
– man 5 fstab