Great!! I'm happy to do so. Thanks for the reply!

On Tue, Jun 22, 2021 at 1:51 PM Philippe Mathieu-Daudé <f4bug@amsat.org>
wrote:

> Hi Joanne,
>
> On 6/22/21 8:07 PM, Joanne Koong wrote:
> > Hello! I noticed that the default SD/MMC host controller only supports a
> > 32-bit system bus. Is there a reason 64-bit system buses aren't
> > supported by default?
>
> We aim to support the spec v2.00, so this is a bug in the model, 64-bit
> system bus should be supported. Do you mind sending a patch?
>
> Thanks,
>
> Phil.
>