After much consideration, I think the block device API should be in the BIOS API. If we port the OS to a board with a proper 4-bit SDMMC/SDIO bus, you can't just treat that as a Neotron Bus. Also some chips have SATA support.
Add block devices back into the Neotron Common BIOS API, then add the SD card driver in the BIOS. Should also scan for EEPROMs on the bus to detect any extra SD cards that have been inserted. Which involves working out a format for the EEPROM contents.
After much consideration, I think the block device API should be in the BIOS API. If we port the OS to a board with a proper 4-bit SDMMC/SDIO bus, you can't just treat that as a Neotron Bus. Also some chips have SATA support.
Add block devices back into the Neotron Common BIOS API, then add the SD card driver in the BIOS. Should also scan for EEPROMs on the bus to detect any extra SD cards that have been inserted. Which involves working out a format for the EEPROM contents.