Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/console/chardev.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CHARDEV_H__
-#define __CHARDEV_H__
+#ifndef KERN_CHARDEV_H_
+#define KERN_CHARDEV_H_
 
 #include <typedefs.h>
@@ -72,7 +72,6 @@
 extern void chardev_push_character(chardev_t *chardev, uint8_t ch);
 
-#endif /* __CHARDEV_H__ */
+#endif /* KERN_CHARDEV_H_ */
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/console/cmd.h
===================================================================
--- kernel/generic/include/console/cmd.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/console/cmd.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CMD_H__
-#define __CMD_H__
+#ifndef KERN_CMD_H_
+#define KERN_CMD_H_
 
 #include <typedefs.h>
@@ -43,5 +43,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/console/console.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CONSOLE_H__
-#define __CONSOLE_H__
+#ifndef KERN_CONSOLE_H_
+#define KERN_CONSOLE_H_
 
 #include <arch/types.h>
@@ -50,7 +50,6 @@
 extern void arch_release_console(void);
 
-#endif /* __CHARDEV_H__ */
+#endif /* KERN_CONSOLE_H_ */
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/console/kconsole.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __KCONSOLE_H__
-#define __KCONSOLE_H__
+#ifndef KERN_KCONSOLE_H_
+#define KERN_KCONSOLE_H_
 
 #include <typedefs.h>
@@ -81,5 +81,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/console/klog.h
===================================================================
--- kernel/generic/include/console/klog.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/console/klog.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericklog
+/** @addtogroup genericklog
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef _KLOG_H_
-#define _KLOG_H_
+#ifndef KERN_KLOG_H_
+#define KERN_KLOG_H_
 
 void klog_init(void);
@@ -41,5 +41,4 @@
 #endif
 
- /** @}
+/** @}
  */
-