Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision c95daa5680d47baf9d07b783ffe4c9891de4ce35)
@@ -77,5 +77,5 @@
 }
 
-/**< Clear input buffer. */
+/** Clear input buffer. */
 static void i8042_clear_buffer(i8042_t *dev)
 {
Index: kernel/genarch/src/kbrd/scanc_at.c
===================================================================
--- kernel/genarch/src/kbrd/scanc_at.c	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/genarch/src/kbrd/scanc_at.c	(revision c95daa5680d47baf9d07b783ffe4c9891de4ce35)
@@ -106,5 +106,5 @@
 	U_SPECIAL, /* 0x64 */
 	U_SPECIAL, /* 0x65 */
-	'\b', /* 0x66  - backspace*/
+	'\b', /* 0x66  - backspace */
 	U_SPECIAL, /* 0x67 */
 	U_SPECIAL, /* 0x68 */
@@ -117,5 +117,5 @@
 	U_SPECIAL, /* 0x6f */
 	U_SPECIAL, /* 0x70 */
-	U_DELETE, /* 0x71 - Del*/
+	U_DELETE, /* 0x71 - Del */
 	U_DOWN_ARROW, /* 0x72 Down Arrow */
 	U_SPECIAL, /* 0x73 */
@@ -123,6 +123,6 @@
 	U_UP_ARROW, /* 0x75  Up Arrow */
 	U_ESCAPE, /* 0x76 Esc */
-	U_SPECIAL, /* 0x77 - NumLock*/
-	U_SPECIAL, /* 0x78  F11*/
+	U_SPECIAL, /* 0x77 - NumLock */
+	U_SPECIAL, /* 0x78  F11 */
 	U_SPECIAL, /* 0x79 */
 	U_PAGE_DOWN, /* 0x7a */
@@ -202,5 +202,5 @@
 	U_SPECIAL, /* 0x64 */
 	U_SPECIAL, /* 0x65 */
-	'\b', /* 0x66  - backspace*/
+	'\b', /* 0x66  - backspace */
 	U_SPECIAL, /* 0x67 */
 	U_SPECIAL, /* 0x68 */
@@ -213,5 +213,5 @@
 	U_SPECIAL, /* 0x6f */
 	U_SPECIAL, /* 0x70 */
-	U_DELETE, /* 0x71 - Del*/
+	U_DELETE, /* 0x71 - Del */
 	U_DOWN_ARROW, /* 0x72 Down Arrow */
 	U_SPECIAL, /* 0x73 */
@@ -219,6 +219,6 @@
 	U_UP_ARROW, /* 0x75  Up Arrow */
 	U_ESCAPE, /* 0x76 Esc */
-	U_SPECIAL, /* 0x77 - NumLock*/
-	U_SPECIAL, /* 0x78  F11*/
+	U_SPECIAL, /* 0x77 - NumLock */
+	U_SPECIAL, /* 0x78  F11 */
 	U_SPECIAL, /* 0x79 */
 	U_PAGE_DOWN, /* 0x7a */