Re: Help booting NetBSD 9.0 on RPI2-1.2

[cm%SDF.ORG@localhost]

On Mon, Feb 24, 2020 at 09:56:36AM +0900, Rin Okuyama wrote:
> 
> I'm using bcm2836-rpi-2-b.dtb, compiled from bcm2836-rpi-2-b.dts with
> 
> #include "bcm2836.dtsi"
> 
> is replaced with
> 
> #include "bcm2837.dtsi"
> 
> With this change, GENERIC64 kernel is fully functional on my RPI2-1.2.
> 

This is good to know, but I should own up: turns out my RPI is a
RPI1 v1.2, not RPI2 v1.2.  So it's to be expected that the armv7
and aarch64 images don't work (the armv6 image does).  Sorry to
waste everyone's time!