* Braud Caroline | 2014-11-27 16:34:31 [+0100]:

Hello,

Hi,

I have installed RT kernel from:
http://pengutronix.de/software/linux-rt/debian_en.html

But I have the same problem as this guy (ethernet controller is not working): 
http://www.spinics.net/lists/linux-rt-users/msg07478.html

except that I'm not using an amd architecture but an Intel one ...

Any idea on how and/or where to get the good headers ?

Are the hints in the thread helping? I would guess the kernel is old and
does not support the network card yet.

Thanks in advance,
CB

Sebastian