Rework the build system

Architecture specific stuff is now completely isolated in its arch/xxx
directory. The install and dist targets have been fixed, as well as the
source file list. Autoconf strictness is reduced to foreign, and the
now unneeded files have been removed. Additions to the generated
config.h header can be added in the global kern/config.h or the
architecture specific machine/config.h headers.

2 files changed, 25 insertions, 9 deletions

diff --git a/kern/config.h b/kern/config.h
new file mode 100644
index 00000000..e91b6e14
--- /dev/null
+++ b/kern/config.h
@@ -0,0 +1,21 @@
+/*
+ * Copyright (c) 2012 Richard Braun.
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ *
+ *
+ * Additions to the build system config.h header.
+ */
+
+#include <machine/config.h>
diff --git a/kern/kernel.h b/kern/kernel.h
index f4f99d30..2505541d 100644
--- a/kern/kernel.h
+++ b/kern/kernel.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2010 Richard Braun.
+ * Copyright (c) 2010, 2012 Richard Braun.
  *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -18,20 +18,15 @@
 #ifndef _KERN_KERNEL_H
 #define _KERN_KERNEL_H
 
-#include <kern/printk.h>
-
 /*
  * Kernel properties.
  */
 #define KERNEL_NAME     PACKAGE_NAME
 #define KERNEL_VERSION  PACKAGE_VERSION
 
-static inline void
-kernel_show_banner(void)
-{
-    printk(KERNEL_NAME " " KERNEL_VERSION "\n");
-}
-
+/*
+ * Machine-independent entry point.
+ */
 void kernel_main(void);
 
 #endif /* _KERN_KERNEL_H */