From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <4DB94BA0.1020503@domain.hid> Date: Thu, 28 Apr 2011 17:12:32 +0600 From: Alexey Galakhov MIME-Version: 1.0 References: <4DB8149A.7080600@domain.hid> <4DB83CBE.5040007@domain.hid> In-Reply-To: <4DB83CBE.5040007@domain.hid> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Adeos-main] Ipipe hangs on ARM MINI2440 after switching clocksource List-Id: General discussion about Adeos List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Gilles Chanteperdrix Cc: adeos-main@gna.org On 04/27/2011 09:56 PM, Gilles Chanteperdrix wrote: > But I think your problem has more to do with the following commit, could > you try reverting it? > http://git.xenomai.org/?p=ipipe-gch.git;a=commitdiff;h=6ab29d9c7a4b119f45ef4d93780e894fe1c0c6c6;hp=cd9c5e016092258d4450e137be2d0844d0fe8b38 > > The same issue was reported on ixp4xx. Just tried to revert this patch. Hangs. But now in a different way: it starts to initialize peripherals and stops on LED initialization. Looks like race conditions since it stops in slightly different place each time I try to boot (randomly at led3, led4 or "backlight" LED). Last lines of dmesg are, i.e.: [ 3.090000] samsung-ts s3c2440-ts: driver attached, registering input device [ 3.100000] input: S3C24XX TouchScreen as /devices/virtual/input/input0 [ 3.120000] S3C24XX RTC, (c) 2004,2006 Simtec Electronics [ 3.120000] s3c-rtc s3c2410-rtc: rtc disabled, re-enabling [ 3.135000] s3c-rtc s3c2410-rtc: rtc core: registered s3c as rtc0 [ 3.135000] i2c /dev entries driver [ 3.155000] S3C2410 Watchdog Timer, (c) 2004 Simtec Electronics [ 3.160000] s3c2410-wdt s3c2410-wdt: watchdog inactive, reset disabled, irq enabled [ 3.180000] s3c-sdi s3c2440-sdi: powered down. [ 3.180000] s3c-sdi s3c2440-sdi: mmc0 - using pio, sw SDIO IRQ [ 3.185000] s3c-sdi s3c2440-sdi: running at 0kHz (requested: 0kHz). [ 3.200000] Registered led device: led1 [ 3.205000] Registered led device: led2 [ 3.210000] s3c-sdi s3c2440-sdi: running at 398kHz (requested: 400kHz). [ 3.215000] Registered led device: led3 [ 3.220000] Registered led device: led4 (hangs) Going to try kgdb over serial line. -- Alex