hal/x86: update I-pipe patches
[xenomai-head.git] / ksrc / 
treef8c28599ef356f8bb8c1e51da9e6a6e96f42e37e
drwxr-xr-x   ..
-rw-r--r-- 155 Config.in
-rw-r--r-- 321 Makefile
drwxr-xr-x - arch
drwxr-xr-x - drivers
drwxr-xr-x - nucleus
drwxr-xr-x - skins