[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: NetBSD/aarch64 on 8 GB Raspberry Pi 4B?
On Tue, 9 Jun 2020 20:32:06 -0400
Paul Mather <bsd-lists%gromit.dlib.vt.edu@localhost> wrote:
> On Jun 9, 2020, at 1:14 PM, Jared McNeill <jmcneill%invisible.ca@localhost>
> > Hi Paul --
> > I don't have a board to try, but you should be able to boot NetBSD
> > on the 8GB model with the latest Pi4 UEFI firmware:
> > https://rpi4-uefi.dev/v1-14-release-for-pi-4/
> > To use it, start with 'arm64.img' from NetBSD -current. Delete
> > everything from the MSDOS partition except for the "EFI" directory,
> > then place the contents of the RPi4 UEFI build on the root of the
> > SD card.
> > First time you boot, interrupt the UEFI firmware by pressing escape
> > and under the 'Advanced Configuration' find the "Limit RAM to 3 GB"
> > option and disable it.
> > Let us know how it goes!
> Thanks for the easy-to-follow instructions! I was able successfully
> to boot my Raspberry Pi 4 8GB model using the above firmware and a
> recent -CURRENT snapshot:
Does anyone know if HDMI output is supported on RPi4 or if it is only
serial console? Is there a way to tell from dmesg?
Main Index |
Thread Index |