From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <507F8379.3070505@xenomai.org> Date: Thu, 18 Oct 2012 06:20:09 +0200 From: Gilles Chanteperdrix MIME-Version: 1.0 References: <507F2930.9020709@gmail.com> In-Reply-To: <507F2930.9020709@gmail.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai] ARM kernel issue List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Stefan Videv Cc: xenomai@xenomai.org On 10/17/2012 11:54 PM, Stefan Videv wrote: > Uncompressing Linux... done, booting the kernel. > [ 0.000000] Initializing cgroup subsys cpuset > [ 0.000000] Initializing cgroup subsys cpu > [ 0.000000] Linux version 3.2.31-psp24 (stefan@stefan-VirtualBox) > (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #1 Wed Oct 17 > 17:09:40 BST 2012 > [ 0.000000] CPU: ARMv7 Processor [413fc082] revision 2 (ARMv7), > cr=10c53c7d > [ 0.000000] CPU: PIPT / VIPT nonaliasing data cache, VIPT aliasing > instruction cache > [ 0.000000] Machine: am335xevm You are trying to run Xenomai on a machine for which the I-pipe patch does not contain the support. There is no miracle: - either you add that support yourself - or you use a patch provided by the original user, which adds this support. -- Gilles.