Hi Rudi,
On Saturday 28 February 2015 11:16:14 Lappies wrote:
> [...]
> >
> > Hm, hardware issue?
>
> SDCard or the mini itself?
> I dont have a nother SDCard to hand to test.
[...]
mmc: Probing for SDHC ...
mmc: SD 2.0 or later card found
trying to detect SD Card...
Manufacturer: 0x03, OEM "SD"
Product name: "SD04G", revision 8.0
Serial number: 2156201412
Manufacturing date: 8/2009
CRC: 0x56, b0 = 1
READ_BL_LEN=15, C_SIZE_MULT=0, C_SIZE=365
size = 0
SD Card detected RCA: 0x8c3b type: SDHC
1574144 bytes read
[...]
It seems you load the kernel from the SD card, don't you? If you do so, I guess
now there is no hardware issue.
> [...]
> See attachment for whole boot log.
[...]
s3c-sdi s3c2440-sdi: running at 398kHz (requested: 400kHz).
s3c-sdi s3c2440-sdi: running at 398kHz (requested: 400kHz).
s3c-rtc s3c2410-rtc: setting system clock to 2015-02-28 10:03:38 UTC
(1425117818)
Waiting for root device /dev/mmcblk0p3...
s3c-sdi s3c2440-sdi: running at 398kHz (requested: 400kHz).
s3c-sdi s3c2440-sdi: running at 398kHz (requested: 400kHz).
s3c-sdi s3c2440-sdi: running at 398kHz (requested: 400kHz).
s3c-sdi s3c2440-sdi: running at 398kHz (requested: 400kHz).
s3c-sdi s3c2440-sdi: running at 16875kHz (requested: 25000kHz).
s3c-sdi s3c2440-sdi: running at 16875kHz (requested: 25000kHz).
mmc0: new SDHC card at address 8c3b
mmcblk0: mmc0:8c3b SD04G 3.69 GiB (ro)
mmcblk0: p1 p2 p3
[...]
Looks correctly to me.
Please do the following: run "ptxdist kernelconfig" and enable
General setup --->
-*- Configure standard kernel features (expert users) --->
[*] Load all symbols for debugging/ksymoops
[*] Include all symbols in kallsyms
Rebuild and boot this kernel. This will show the stack backstrace with symbols
which may help to find the real cause of your kernel Oops.
Regards,
Juergen
--
Pengutronix e.K. | Juergen Borleis |
Industrial Linux Solutions | http://www.pengutronix.de/ |
