Index: kernel/generic/include/main/kinit.h
===================================================================
--- kernel/generic/include/main/kinit.h	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/generic/include/main/kinit.h	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __KINIT_H__
-#define __KINIT_H__
+#ifndef KERN_KINIT_H_
+#define KERN_KINIT_H_
 
 extern void kinit(void *arg);
@@ -40,5 +40,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/main/main.h
===================================================================
--- kernel/generic/include/main/main.h	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/generic/include/main/main.h	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -33,6 +33,6 @@
  */
  
-#ifndef __MAIN_H__
-#define __MAIN_H__
+#ifndef KERN_MAIN_H_
+#define KERN_MAIN_H_
 
 #include <typedefs.h>
Index: kernel/generic/include/main/uinit.h
===================================================================
--- kernel/generic/include/main/uinit.h	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/generic/include/main/uinit.h	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __UINIT_H__
-#define __UINIT_H__
+#ifndef KERN_UINIT_H_
+#define KERN_UINIT_H_
 
 #include <arch/types.h>
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/main/version.h
===================================================================
--- kernel/generic/include/main/version.h	(revision deaa22f01020fc8d432df92b990024d02d453083)
+++ kernel/generic/include/main/version.h	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __VERSION_H__
-#define __VERSION_H__
+#ifndef KERN_VERSION_H_
+#define KERN_VERSION_H_
 
 extern void version_print(void);
@@ -40,5 +40,5 @@
 #endif
 
- /** @}
+/** @}
  */