Sandboxed kernel header installation (and usage)

compile-kernel

@@ -0,0 +1,20 @@
+#!/bin/sh
+# -*- sh -*-
+
+#
+# Written by: Francesco Salvestrini <f DOT salvestrini AT nextworks DOT it>
+#
+
+ME=compile-kernel
+
+echo "$ME: Compiling kernel"
+(cd linux && make bzImage) || {
+    echo "$ME: Cannot complete kernel compilation"
+    exit 1
+}
+
+echo "$ME: Compiling modules"
+(cd linux && make modules) || {
+    echo "$ME: Cannot complete modules compilation"
+    exit 1
+}

install-from-scratch

@@ -7,12 +7,12 @@
 
 ME=install-from-scratch
 
-./install-kernel-from-scratch || {
-    echo "$ME: Cannot install kernel"
+./compile-kernel && ./install-kernel $@ || {
+    echo "$ME: Cannot compile or install the kernel from scratch"
     exit 1
 }
 
 ./install-user-from-scratch $@ || {
-    echo "$ME: Cannot install user parts"
+    echo "$ME: Cannot install the user parts from scratch"
     exit 1
 }

install-kernel

@@ -0,0 +1,42 @@
+#!/bin/sh
+# -*- sh -*-
+
+#
+# Written by: Francesco Salvestrini <f DOT salvestrini AT nextworks DOT it>
+#
+
+ME=install-kernel
+
+#PREFIX=`echo "$1"|sed -e "s,\/$,,"`
+#
+#echo "$ME: Prefix is \`$PREFIX'"
+#if test -n "$PREFIX" ; then
+#    mkdir -p $PREFIX || {
+#        echo "$ME: Cannot create directory \`$PREFIX'"
+#    }
+#fi
+
+#
+# FIXME: we should definitely do a VPATH build ...
+#
+
+echo "$ME: Installing kernel headers"
+#(cd linux && make INSTALL_HDR_PATH=/usr headers_install) || {
+(cd linux && make headers_install) || {
+    echo "$ME: Cannot install kernel headers"
+    exit 1
+}
+
+echo "$ME: Installing kernel modules"
+#(cd linux && make INSTALL_MOD_PATH=$PREFIX modules_install) || {
+(cd linux && make modules_install) || {
+    echo "$ME: Cannot install kernel modules"
+    exit 1
+}
+
+echo "$ME: Installing kernel"
+#(cd linux && make INSTALL_PATH=$PREFIX/boot install) || {
+(cd linux && make install) || {
+    echo "$ME: Cannot install kernel"
+    exit 1
+}

install-user-from-scratch

@@ -21,7 +21,7 @@ fi
 #
 
 echo "$ME: Starting librina phase"
-(cd librina && ./bootstrap && ./configure --enable-java-bindings --prefix=$PREFIX && make CPPFLAGS="-I $PREFIX/usr/include" clean install installcheck) || {
+(cd librina && ./bootstrap && ./configure --enable-java-bindings --with-sysheaders=`pwd`/../linux/usr/include --prefix=$PREFIX && make clean install installcheck) || {
     echo "$ME: Cannot complete librina phase"
     exit 1
 }

uninstall-user

@@ -0,0 +1,26 @@
+#!/bin/sh
+# -*- sh -*-
+
+#
+# Written by: Francesco Salvestrini <f DOT salvestrini AT nextworks DOT it>
+#
+
+ME=uninstall-user
+
+echo "$ME: Uninstalling rina-tools"
+(cd rina-tools && make uninstall) || {
+    echo "$ME: Cannot uninstall rina-tools"
+    exit 1
+}
+
+echo "$ME: Uninstalling rinad"
+(cd rinad && make uninstall) || {
+    echo "$ME: Cannot uninstall rinad"
+    exit 1
+}
+
+echo "$ME: Uninstalling librina"
+(cd librina && make uninstall) || {
+    echo "$ME: Cannot uninstall librina"
+    exit 1
+}

uninstall-and-clean → uninstall-user-and-clean

@@ -5,22 +5,22 @@
 # Written by: Francesco Salvestrini <f DOT salvestrini AT nextworks DOT it>
 #
 
-ME=uninstall-and-clean
+ME=uninstall-user-and-clean
 
-echo "$ME: Starting phase rina-tools"
+echo "$ME: Uninstalling and cleaning rina-tools"
 (cd rina-tools && make uninstall && make maintainer-clean) || {
-    echo "$ME: Cannot complete rina-tools phase"
+    echo "$ME: Cannot uninstall or clean rina-tools"
     exit 1
 }
 
-echo "$ME: Starting phase rinad"
+echo "$ME: Uninstalling and cleaning rinad"
 (cd rinad && make uninstall && make maintainer-clean) || {
-    echo "$ME: Cannot complete rinad phase"
+    echo "$ME: Cannot uninstall or clean rinad"
     exit 1
 }
 
-echo "$ME: Starting phase librina"
+echo "$ME: Uninstalling and cleaning librina"
 (cd librina && make uninstall && make maintainer-clean) || {
-    echo "$ME: Cannot complete librina phase"
+    echo "$ME: Cannot uninstall or clean librina"
     exit 1
 }