[Please still CC email@example.com, some other users might be interested in this] On Mon, 2020-11-16 at 11:00 +0000, James Wheatley wrote:
That works a treat, thanks Nicolas! There's a couple of other things I need to look in to (built in keyboard not working in grub
The underlying reason is the same as with the SD card: DMA memory configuration/translations. It'll take a while to fix this properly but until then you can add "total_mem=4095" into config.txt (under the [pi4] section). You'll lose 1MB of memory but your keyboard will work in GRUB. A reasonable trade-off if you ask me :).
doesn't seem to start a display manager), but this gets me over the initial hurdle.
I have seen this issue too, I'll jump to it next. Regards, Nicolas