NetBSD on a Raspberry Pi
                    ========================
                    

Installation:

1. Get an image, such as armv7.img.gz from

http://cdn.netbsd.org/pub/NetBSD/NetBSD-8.0/evbarm-earmv7hf/binary/gzimg/

for Pi 2 & 3, or rpi.img.gz from

http://cdn.netbsd.org/pub/NetBSD/NetBSD-8.0/evbarm-earmv6hf/binary/gzimg/

for older  gear. The latter  should run  everywhere,  though, if
any, marginally slower.

2. Install:

root@pi2b01:/home/pi/NetBSD# gzip -d <NetBSD-8.0-evbarm-earmv6hf-img.gz | \
    dd of=/dev/sda

3. Configure:

By  default  the  rpi.img is set to use the HDMI  output. If you
wish to use a serial  console,  mount  the  FAT32  partition  on
another system and edit cmdline.txt and remove '"console=fb"'.