On Thursday 20 November 2008 22:33:10 Bastian Blank wrote: > On Thu, Nov 20, 2008 at 07:28:55PM +0100, Raúl Sánchez Siles wrote: > > We have succeeded booting with the attached kernel config. > > So, which difference makes the kernel not working? > > Bastian
Well, that's something under investigation. The config I've send should be used as a starting point to converge with Debian's one. I'm not sure which device exactly is causing the panic, but my suspicions are so far on CONFIG_NO_HZ, CONFIG_HIGH_RES_TIMERS, CONFIG_HPET_TIMER or CONFIG_X86_*_APIC I know it's not very clarifying, but it's all I can say so far. Note: r6040 network driver is not working Regards, -- Raúl Sánchez Siles Departamento de Montaje INFOGLOBAL, S. A. * C/ Virgilio, 2. Ciudad de la Imagen. 28223 Pozuelo de Alarcón (Madrid), España * T: +34 91 506 40 00 * F: +34 91 506 40 01 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]