>> Hello,
>> I am new to Genode and the version I am using is 18.05. I am  trying to boot genode on the secure world and linux on normal world on i.MX53-QSB board. I follow steps in this link: https://sourceforge.net/p/genode/mailman/message/33588666/. The system  can boot successfully ,but after the linux started£¬it periodically print this message:
>> mmc0: Timeout waiting for hardware interrupt.                               
>> mxsdhci: ============== REGISTER DUMP ==============                            
>> mxsdhci: Sys addr: 0x00000000 | Version:  0x00001201                            
>> mxsdhci: Blk size: 0x00000000 | Blk cnt:  0x00000001                            
>> mxsdhci: Argument: 0x00000c00 | Trn mode: 0x341a0000                            
>> mxsdhci: Present:  0xff880008 | Host ctl: 0x00000121                            
>> mxsdhci: Clock:    0x000010ff                                                   
>> mxsdhci: Int stat: 0x00010001                                                   
>> mxsdhci: Int enab: 0x107f010b | Sig enab: 0x107f000b                            
>> mxsdhci: Caps:     0x07f30000                                                   
>> mxsdhci: ===========================================

>if you just used the tz_vmm.run script without modifications, it
>should work without these messages.

Thanks for your reply! Actually, I just use the tz_vmm.run script without modifications. I have no idea about why this message was printed, could you give me any help?

------------------
Best wishes