[Xenomai] Linux 3.14 with Xenomai 2.6.3 on a Pandaboard

[Andreas Glatz]

A couple of corrections:

> > git remote add ipipe git://http://git.xenomai.org/ipipe.git
> > git pull ipipe raw raw/ipipe-3.14.0 # requires a commit to the  
> local git tree

git remote add ipipe git://git.xenomai.org/ipipe.git
git pull ipipe raw/ipipe-3.14.0 # requires a commit to the local git  
tree


> 4) Install the kernel assuming u have a working debian system  
> (otherwise use ./build_kernel.sh and follow [1]):
> > cd ${BASEDIR}/armv7-multiplatform

cd ${BASEDIR}/armv7-multiplatform/deploy

A.