Bug#488022: Successful build.
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?
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
I know it's not very clarifying, but it's all I can say so far.
Note: r6040 network driver is not working
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 debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact firstname.lastname@example.org