Bug#488022: Successful build.

[Raúl Sánchez Siles <rsanchezs@infoglobal.es>]

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