--- wikisrc/ports/evbarm/raspberry_pi.mdwn 2017/10/22 00:06:31 1.62 +++ wikisrc/ports/evbarm/raspberry_pi.mdwn 2017/10/22 00:39:08 1.63 @@ -58,6 +58,9 @@ The Raspberry Pi looks for firmware and partition of the uSD card. The NetBSD kernel will then use the FFS partition as the root filesystem. +A 2 GB card is the smallest workable size. The NetBSD filesystem will +be expanded to fit on larger cards. + ## Choosing a version First, decide if you want to install a formal release (7.1), a stable @@ -70,8 +73,8 @@ those, netbsd-8 is probably best. You can either build a release yourself with build.sh, or get one from the NetBSD FTP servers. Both will provide rpi.img.gz and rpi_inst.img.gz. Each is an image to -be written to a uSD card, and it has a FAT32 partition for booting and -an FFS partition for NetBSD. +be written to a uSD card, and has a FAT32 partition for booting. In +rpi.img.gz, there is also an FFS partition for NetBSD. ### Building yourself