diff -r 000000000000 -r 73a502b86a7a scripts/build/kernel/bare-metal.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/build/kernel/bare-metal.sh	Wed Oct 15 08:15:28 2008 +0000
@@ -0,0 +1,19 @@
+# This file declares functions for bare metal kernel (IE. none)
+# Copyright 2008 Yann E. MORIN
+# Licensed under the GPL v2. See COPYING in the root of this package
+
+do_print_filename() {
+    :
+}
+
+do_kernel_get() {
+    :
+}
+
+do_kernel_extract() {
+    :
+}
+
+do_kernel_headers() {
+    :
+}