1 files changed, 4 insertions, 9 deletions
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 */