Re: Raspberry Pi 4

Thanks, I'll take a look at this.  Have you seen any pi4 h/w docs
or have you been working just from linux drivers?

I've been stalled on getting ether4330 to initialise.  Putting
some coherence() calls into emmc.c helped (I don't like
out-of-order cpus) but I keep getting spurious interrupt 1023
followed by watchdog reboot.

Do you have the sdcard working?  According to a pi engineer,
the new emmc controller is sdhci compliant so it shouldn't
be hard.