SD Card - Timeout waiting for hardware interupt ?

[David Bateman]

I've recently been having problems with the use of SD cards on a Mk II device.. The command "dmesg" is reporting something like

[   99.687903] mmc0: Timeout waiting for hardware interrupt.
[   99.692083] mmc0: sdhci: ============ SDHCI REGISTER DUMP ===========
[   99.697253] mmc0: sdhci: Sys addr:  0x00000008 | Version:  0x00000002
[   99.702437] mmc0: sdhci: Blk size:  0x00000200 | Blk cnt:  0x00000008
[   99.707617] mmc0: sdhci: Argument:  0x00000000 | Trn mode: 0x0000003b
[   99.712795] mmc0: sdhci: Present:   0x01f5820e | Host ctl: 0x00000013
[   99.717972] mmc0: sdhci: Power:     0x00000002 | Blk gap:  0x00000080
[   99.723145] mmc0: sdhci: Wake-up:   0x00000008 | Clock:    0x0000003f
[   99.728319] mmc0: sdhci: Timeout:   0x0000008f | Int stat: 0x00000000
[   99.733495] mmc0: sdhci: Int enab:  0x117f100b | Sig enab: 0x117f100b
[   99.738671] mmc0: sdhci: ACmd stat: 0x00000000 | Slot int: 0x00000302
[   99.743847] mmc0: sdhci: Caps:      0x07eb0000 | Caps_1:   0x0000b400
[   99.749023] mmc0: sdhci: Cmd:       0x0000123a | Max curr: 0x00ffffff
[   99.754197] mmc0: sdhci: Resp[0]:   0x00000900 | Resp[1]:  0x00e8f37f
[   99.759372] mmc0: sdhci: Resp[2]:   0x32535900 | Resp[3]:  0x00000900
[   99.764547] mmc0: sdhci: Host ctl2: 0x00000000
[   99.767719] mmc0: sdhci: ADMA Err:  0x00000003 | ADMA Ptr: 0x8147c204
[   99.772895] mmc0: sdhci-esdhc-imx: ========= ESDHC IMX DEBUG STATUS DUMP =========
[   99.779192] mmc0: sdhci-esdhc-imx: cmd debug status:  0x2100
[   99.783583] mmc0: sdhci-esdhc-imx: data debug status:  0x22a0
[   99.788063] mmc0: sdhci-esdhc-imx: trans debug status:  0x23a2
[   99.792625] mmc0: sdhci-esdhc-imx: dma debug status:  0x2400
[   99.797015] mmc0: sdhci-esdhc-imx: adma debug status:  0x25b4
[   99.801492] mmc0: sdhci-esdhc-imx: fifo debug status:  0x2680
[   99.805966] mmc0: sdhci-esdhc-imx: async fifo debug status:  0x2750
[   99.810965] mmc0: sdhci: ============================================

Though the exact message varies.. This happens with two different SD cards and two different Mk II devices. I also tried an external power source on the debug USB-C connecteur thinking the problem might be due to insufficient power but wthout success

There is very little information publically available about similar problems and so I'm a bit stuck. Ideas ?

David

[Andrej Rosano]

Hi David,

are you using the official Debian image? How can this be reproduced?

Thanks

--
Andrej Rosano | Hardware Security | WithSecure
www.withsecure.com - foundry.withsecure.com
BDE1 62F4 7020 1588 8046  AE02 EA17 8C32 AB56 54CE

________________________________________
From: usba...@googlegroups.com <usba...@googlegroups.com> on behalf of David Bateman <adb...@gmail.com>
Sent: Friday, March 31, 2023 14:16
To: USB armory
Subject: [usbarmory] SD Card - Timeout waiting for hardware interupt ?

[David Bateman]

I'm using the officiel debain image version 20221114 but I have done an "apt-get update" on it and installed the package ntfs-3g

[David Bateman]

Ok, I've now tried on a different PC with the same result. And I also tried to change the boot mode to SD with a non bootable SD card and I never got to the see the SDP device.. Until recently I had no problems using the SD cards so this is really weird..

[David Bateman]

The weeked has past and I can't reduplicate this problem.. Damned weird, and the only thing I can think of is that the power supply was sufficient to supply le SD when it was inserted

[David Bateman]

 No I can’t reproduce it at all I think I might be suffering from the Pauli effect 

Le 6 avr. 2023 à 12:53, Andrej Rosano <andrej...@withsecure.com> a écrit :

Hi David,

I performed tests on different USB armory Mk II units, different microSD
cards and using different Linux kernel but never got the error.

It is not clear to me if you still have the issue. If yes can you please share:

1) the microSD cards p/n you are using
2) the USB armory batch number

For 2) you need to remove the enclosure and read the code from the label (ex. 220513C).

Thanks
Andrej

On 2023-04-04 Tue, David Bateman wrote:

The weeked has past and I can't reduplicate this problem.. Damned weird, and the only thing I can think of is that the power supply was sufficient to supply le SD when it was inserted

Le vendredi 31 mars 2023 à 16:10:53 UTC+2, David Bateman a écrit :

Ok, I've now tried on a different PC with the same result. And I also tried to change the boot mode to SD with a non bootable SD card and I never got to the see the SDP device.. Until recently I had no problems using the SD cards so this is really weird..

Le vendredi 31 mars 2023 à 15:26:31 UTC+2, David Bateman a écrit :

I'm using the officiel debain image version 20221114 but I have done an "apt-get update" on it and installed the package ntfs-3g

Le vendredi 31 mars 2023 à 15:19:02 UTC+2, Andrej Rosano a écrit :

Hi David,

are you using the official Debian image? How can this be reproduced?

Thanks

--

Andrej Rosano | Hardware Security | WithSecure

www.withsecure.com<http://www.withsecure.com> - foundry.withsecure.com<http://foundry.withsecure.com>

--

You received this message because you are subscribed to the Google Groups "USB armory" group.

To unsubscribe from this group and stop receiving emails from it, send an email to usbarmory+...@googlegroups.com<mailto:usbarmory+...@googlegroups.com>.

To view this discussion on the web visit https://groups.google.com/d/msgid/usbarmory/0b078551-6b13-404b-a1b1-6611e27e7dbdn%40googlegroups.com<https://groups.google.com/d/msgid/usbarmory/0b078551-6b13-404b-a1b1-6611e27e7dbdn%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Andrej Rosano]

Hi David,

I performed tests on different USB armory Mk II units, different microSD
cards and using different Linux kernel but never got the error.

It is not clear to me if you still have the issue. If yes can you please share:

1) the microSD cards p/n you are using
2) the USB armory batch number

For 2) you need to remove the enclosure and read the code from the label (ex. 220513C).

Thanks
Andrej

On 2023-04-04 Tue, David Bateman wrote:
>

> The weeked has past and I can't reduplicate this problem.. Damned weird, and the only thing I can think of is that the power supply was sufficient to supply le SD when it was inserted
>
> Le vendredi 31 mars 2023 à 16:10:53 UTC+2, David Bateman a écrit :
> Ok, I've now tried on a different PC with the same result. And I also tried to change the boot mode to SD with a non bootable SD card and I never got to the see the SDP device.. Until recently I had no problems using the SD cards so this is really weird..
>
> Le vendredi 31 mars 2023 à 15:26:31 UTC+2, David Bateman a écrit :
> I'm using the officiel debain image version 20221114 but I have done an "apt-get update" on it and installed the package ntfs-3g
>
> Le vendredi 31 mars 2023 à 15:19:02 UTC+2, Andrej Rosano a écrit :
> Hi David,
>
> are you using the official Debian image? How can this be reproduced?
>
> Thanks
>
> --
> Andrej Rosano | Hardware Security | WithSecure

> www.withsecure.com<http://www.withsecure.com> - foundry.withsecure.com<http://foundry.withsecure.com>

> --
> You received this message because you are subscribed to the Google Groups "USB armory" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to usbarmory+...@googlegroups.com<mailto:usbarmory+...@googlegroups.com>.
> To view this discussion on the web visit https://groups.google.com/d/msgid/usbarmory/0b078551-6b13-404b-a1b1-6611e27e7dbdn%40googlegroups.com<https://groups.google.com/d/msgid/usbarmory/0b078551-6b13-404b-a1b1-6611e27e7dbdn%40googlegroups.com?utm_medium=email&utm_source=footer>.