Pi4 via Crochet?

Anyone got the necessary magic for it on -HEAD?

I've tried to build it and the SD card it makes appears to be built 
correctly.  I copied the Pi3s board config and modified it to get the 
RPI4 dtb and config.txt files, along with the RPI4 u-boot package.  That 
*should* work, I'd expect.

I get nothing on the serial console at all and only a three-blink/pause 
pattern on the green LED when power is connected so I have no idea where 
its failing in the boot process.

-- 
Karl Denninger
karl@denninger.net
/The Market Ticker/
/[S/MIME encrypted email preferred]/