#!/bin/bash
#
# "4_cmp" : compile RTAI
#  
# prérequis :
# outils installés, nouveau kernel compile (bzImage)
# core.gz reconstruit	(core2.gz)
# run de ce nouveau kernel, terminal en root
# 

# in RTAI Dir.
base=${PWD:0:10}'SRC/RTAI/'
echo 'dir: '$base
# TODO: proposer choix de version

# link with kernel sources ?

# make menuconfig : what to adjust

# make  

# make install

# PATH for tests ? tstSuite.sh make this