Index: kernel/arch/arm32/include/arch/cp15.h
===================================================================
--- kernel/arch/arm32/include/arch/cp15.h	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm32/include/arch/cp15.h	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -248,5 +248,5 @@
 	SCTLR_WRITE_XN_EN_FLAG       = 1 << 19, /* Only if virt. supported */
 	SCTLR_USPCE_WRITE_XN_EN_FLAG = 1 << 20, /* Only if virt. supported */
-	SCTLR_FAST_IRQ_EN_FLAG       = 1 << 21, /* Disable impl. specific feat*/
+	SCTLR_FAST_IRQ_EN_FLAG       = 1 << 21, /* Disable impl. specific feat */
 	SCTLR_UNALIGNED_EN_FLAG      = 1 << 22, /* Must be 1 on armv7 */
 	SCTLR_EXTENDED_PT_EN_FLAG    = 1 << 23,
@@ -584,5 +584,5 @@
 CONTROL_REG_GEN_WRITE(PMCCNTR, c9, 0, c13, 0);
 
-/*c10 has tons of reserved too */
+/* c10 has tons of reserved too */
 CONTROL_REG_GEN_READ(PRRR, c10, 0, c2, 0); /* no PAE */
 CONTROL_REG_GEN_WRITE(PRRR, c10, 0, c2, 0); /* no PAE */
Index: kernel/arch/arm32/include/arch/mm/page_armv6.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -284,5 +284,5 @@
 	p->non_global = !(flags & PAGE_GLOBAL);
 
-	/* default access permission: kernel only*/
+	/* default access permission: kernel only */
 	p->access_permission_0 = PTE_AP0_USER_NO_KERNEL_FULL;
 
Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm32/src/fpu_context.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -186,5 +186,5 @@
 	uint32_t mvfr0;
 
-	/* Enable coprocessor access*/
+	/* Enable coprocessor access */
 	fpu_enable_coprocessor_access();
 
Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -158,5 +158,5 @@
 		spinlock_unlock(&irq->lock);
 	} else {
-		/* Spurious interrupt.*/
+		/* Spurious interrupt. */
 		printf("cpu%d: spurious interrupt (inum=%d)\n",
 		    CPU->id, inum);
Index: kernel/arch/arm32/src/mach/gta02/gta02.c
===================================================================
--- kernel/arch/arm32/src/mach/gta02/gta02.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm32/src/mach/gta02/gta02.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -148,5 +148,5 @@
 		spinlock_unlock(&irq->lock);
 	} else {
-		/* Spurious interrupt.*/
+		/* Spurious interrupt. */
 		log(LF_ARCH, LVL_DEBUG, "cpu%d: spurious interrupt (inum=%d)",
 		    CPU->id, inum);
Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -270,5 +270,5 @@
 				spinlock_unlock(&irq->lock);
 			} else {
-				/* Spurious interrupt.*/
+				/* Spurious interrupt. */
 				log(LF_ARCH, LVL_DEBUG,
 				    "cpu%d: spurious interrupt (inum=%d)",
Index: kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c
===================================================================
--- kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -161,5 +161,5 @@
 		spinlock_unlock(&irq->lock);
 	} else {
-		/* Spurious interrupt.*/
+		/* Spurious interrupt. */
 		printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum);
 		bcm2835_irc_disable(raspi.irc, inum);
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -161,14 +161,14 @@
 	} ls_inst[] = {
 		/* Store word/byte */
-		{ 0x0e100000, 0x04000000, PF_ACCESS_WRITE }, /*STR(B) imm*/
-		{ 0x0e100010, 0x06000000, PF_ACCESS_WRITE }, /*STR(B) reg*/
+		{ 0x0e100000, 0x04000000, PF_ACCESS_WRITE }, /* STR(B) imm */
+		{ 0x0e100010, 0x06000000, PF_ACCESS_WRITE }, /* STR(B) reg */
 		/* Load word/byte */
-		{ 0x0e100000, 0x04100000, PF_ACCESS_READ }, /*LDR(B) imm*/
-		{ 0x0e100010, 0x06100000, PF_ACCESS_READ }, /*LDR(B) reg*/
+		{ 0x0e100000, 0x04100000, PF_ACCESS_READ }, /* LDR(B) imm */
+		{ 0x0e100010, 0x06100000, PF_ACCESS_READ }, /* LDR(B) reg */
 		/* Store half-word/dual  A5.2.8 */
-		{ 0x0e1000b0, 0x000000b0, PF_ACCESS_WRITE }, /*STRH imm reg*/
+		{ 0x0e1000b0, 0x000000b0, PF_ACCESS_WRITE }, /* STRH imm reg */
 		/* Load half-word/dual A5.2.8 */
-		{ 0x0e0000f0, 0x000000d0, PF_ACCESS_READ }, /*LDRH imm reg*/
-		{ 0x0e1000b0, 0x001000b0, PF_ACCESS_READ }, /*LDRH imm reg*/
+		{ 0x0e0000f0, 0x000000d0, PF_ACCESS_READ }, /* LDRH imm reg */
+		{ 0x0e1000b0, 0x001000b0, PF_ACCESS_READ }, /* LDRH imm reg */
 		/* Block data transfer, Store */
 		{ 0x0e100000, 0x08000000, PF_ACCESS_WRITE }, /* STM variants */
Index: kernel/arch/arm64/src/mach/virt/virt.c
===================================================================
--- kernel/arch/arm64/src/mach/virt/virt.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/arm64/src/mach/virt/virt.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -95,5 +95,5 @@
 		irq_spinlock_unlock(&irq->lock, false);
 	} else {
-		/* Spurious interrupt.*/
+		/* Spurious interrupt. */
 		printf("cpu%d: spurious interrupt (inum=%u)\n", CPU->id, inum);
 	}
Index: kernel/arch/sparc64/include/arch/register.h
===================================================================
--- kernel/arch/sparc64/include/arch/register.h	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/sparc64/include/arch/register.h	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -69,5 +69,5 @@
 		unsigned priv : 1;	/**< Privileged Mode. */
 		unsigned ie : 1;	/**< Interrupt Enable. */
-		unsigned ag : 1;	/**< Alternate Globals*/
+		unsigned ag : 1;	/**< Alternate Globals */
 	} __attribute__((packed));
 };
Index: kernel/arch/sparc64/src/smp/sun4v/smp.c
===================================================================
--- kernel/arch/sparc64/src/smp/sun4v/smp.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/arch/sparc64/src/smp/sun4v/smp.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -183,5 +183,5 @@
 	md_node_t node = md_get_root();
 
-	/* walk through all the CPU nodes in the MD*/
+	/* walk through all the CPU nodes in the MD */
 	while (md_next_node(&node, "cpu")) {
 
Index: kernel/genarch/include/genarch/drivers/amdm37x/gpt.h
===================================================================
--- kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -178,5 +178,5 @@
 	const ioport32_t tcar2;
 
-	/* GPT1,2,10 only (used for 1ms time period generation)*/
+	/* GPT1,2,10 only (used for 1ms time period generation) */
 
 	/** Positive increment register */
Index: kernel/genarch/include/genarch/drivers/omap/uart_regs.h
===================================================================
--- kernel/genarch/include/genarch/drivers/omap/uart_regs.h	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/genarch/include/genarch/drivers/omap/uart_regs.h	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -353,5 +353,5 @@
 #define OMAP_UART_SSR_DMA_COUNTER_RESET_FLAG   (1 << 2)
 
-	/** BOF Length register (IrDA only)*/
+	/** BOF Length register (IrDA only) */
 	ioport32_t eblr;
 #define OMAP_IRDA_EBLR_DISABLED   (0x00)
Index: kernel/genarch/include/genarch/drivers/pl011/pl011.h
===================================================================
--- kernel/genarch/include/genarch/drivers/pl011/pl011.h	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/genarch/include/genarch/drivers/pl011/pl011.h	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -54,5 +54,5 @@
 
 	union {
-		/* Same values that are in upper bits of data register*/
+		/* Same values that are in upper bits of data register */
 		const ioport32_t status;
 #define PL011_UART_STATUS_FE_FLAG   (1 << 0)
Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -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 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/genarch/src/kbrd/scanc_at.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -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 */
Index: kernel/generic/include/cpu/cpu_mask.h
===================================================================
--- kernel/generic/include/cpu/cpu_mask.h	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/generic/include/cpu/cpu_mask.h	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -59,5 +59,5 @@
 	cpu_mask_t *(cpu_mask) = (cpu_mask_t*) alloca(cpu_mask_size())
 
-/** If used with DEFINE_CPU_MASK, the mask is large enough for all detected cpus.*/
+/** If used with DEFINE_CPU_MASK, the mask is large enough for all detected cpus. */
 typedef struct cpu_mask {
 	unsigned int mask[1];
Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/generic/src/adt/hash_table.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -331,5 +331,5 @@
 }
 
-/** Removes an item already present in the table. The item must be in the table.*/
+/** Removes an item already present in the table. The item must be in the table. */
 void hash_table_remove_item(hash_table_t *h, ht_link_t *item)
 {
@@ -393,5 +393,5 @@
 }
 
-/** Allocates and initializes the desired number of buckets. True if successful.*/
+/** Allocates and initializes the desired number of buckets. True if successful. */
 static bool alloc_table(size_t bucket_cnt, list_t **pbuckets)
 {
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/generic/src/mm/as.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -2057,5 +2057,5 @@
 	/* Check if A is adjacent to the new interval */
 	adj_a = (a != NULL) && (a->page + P2SZ(a->count) == page);
-	/* Check if the new interval is adjacent to B*/
+	/* Check if the new interval is adjacent to B */
 	adj_b = (b != NULL) && page + P2SZ(count) == b->page;
 
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/generic/src/mm/frame.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -85,7 +85,7 @@
 }
 
-/*******************/
-/* Zones functions */
-/*******************/
+/*
+ * Zones functions
+ */
 
 /** Insert-sort zone into zones list.
@@ -341,7 +341,7 @@
 }
 
-/******************/
-/* Zone functions */
-/******************/
+/*
+ * Zone functions
+ */
 
 /** Return frame from zone. */
@@ -781,7 +781,7 @@
 }
 
-/*******************/
-/* Frame functions */
-/*******************/
+/*
+ * Frame functions
+ */
 
 /** Set parent of frame. */
Index: kernel/generic/src/mm/slab.c
===================================================================
--- kernel/generic/src/mm/slab.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/generic/src/mm/slab.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -151,7 +151,7 @@
 #endif
 
-/**************************************/
-/* Slab allocation functions          */
-/**************************************/
+/*
+ * Slab allocation functions
+ */
 
 /** Allocate frames for slab space and initialize
@@ -223,7 +223,7 @@
 }
 
-/******************/
-/* Slab functions */
-/******************/
+/*
+ * Slab functions
+ */
 
 /** Return object to slab and call a destructor
@@ -323,7 +323,7 @@
 }
 
-/****************************/
-/* CPU-Cache slab functions */
-/****************************/
+/*
+ * CPU-Cache slab functions
+ */
 
 /** Find a full magazine in cache, take it from list and return it
@@ -531,7 +531,7 @@
 }
 
-/************************/
-/* Slab cache functions */
-/************************/
+/*
+ * Slab cache functions
+ */
 
 /** Return number of objects that fit in certain cache size
Index: kernel/generic/src/udebug/udebug_ops.c
===================================================================
--- kernel/generic/src/udebug/udebug_ops.c	(revision 583c2a3d5f5f8c120323f09f1d4e2d68b95c8ef2)
+++ kernel/generic/src/udebug/udebug_ops.c	(revision 1483981d7b7ed0a76568358cb7506faba072c4e6)
@@ -123,5 +123,5 @@
 	/* Now verify that the thread belongs to the current task. */
 	if (thread->task != TASK) {
-		/* No such thread belonging this task*/
+		/* No such thread belonging this task */
 		mutex_unlock(&TASK->udebug.lock);
 		return ENOENT;