On: I've now played with a Raspberry Pi 400 for a week and here are my conclusions

[makomk]

The publicly-available datasheets for the SoC in the Pi are incredibly, and as far as I can tell intentionally, incomplete. The SD card controller is just one of the things lacking public documentaiton.