On 2/7/24 16:08, Philippe Mathieu-Daudé wrote:
Philippe Mathieu-Daudé (4): hw/sd/npcm7xx_sdhci: Use TYPE_SYSBUS_SDHCI definition hw/sd/sdhci: Log non-sequencial access as GUEST_ERROR tests/qtest/npcm7xx_sdhci: Access the card using its published address hw/sd/sdcard: Generate random RCA value
Series queued, thanks.
