Re: RockPi4c boot log

[Tobias Nygren <tnn%NetBSD.org@localhost>]

On Wed, 13 Apr 2022 01:07:44 +0100
Dan MacDonald <allcoms%gmail.com@localhost> wrote:

> You can use the RockPro64 u-boot to boot NetBSD on the RockPi4c.
> Gigabit ethernet works but only the one USB3 port works out of the 4,
> the top/highest USB3 port. HDMI output and the onboard audio jack also
> don't work. I have not tested PCIe or GPIO yet.

The non-working devices might be due to the 5V0 power regulator not
getting enabled. PD6 GPIO should be asserted on this board.

As a hack you can take rk3399-rock-pi-4c.dtb and drop it as
dtb/rockchip/rk3399-rockpro64.dtb on the EFI partition.
Then the regulator might come online.

-Tobias