From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Braud Caroline" Subject: problem ethernet board Date: Thu, 27 Nov 2014 16:34:31 +0100 Message-ID: <3b2a-54774480-23-329ce480@51794959> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8BIT To: linux-rt-users@vger.kernel.org Return-path: Received: from smtp02.univ-lille1.fr ([193.49.225.20]:39006 "EHLO smtp02.univ-lille1.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751810AbaK0PmJ convert rfc822-to-8bit (ORCPT ); Thu, 27 Nov 2014 10:42:09 -0500 Received: from sogo1.univ-lille1.fr (sogo1.univ-lille1.fr [193.49.225.214]) by smtp02.univ-lille1.fr (8.14.3/8.14.3) with ESMTP id sARFYYBZ020538 for ; Thu, 27 Nov 2014 16:34:34 +0100 Sender: linux-rt-users-owner@vger.kernel.org List-ID: Hello, 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 ? Thanks in advance, CB