Index: kernel/arch/arm32/include/arch/cp15.h
===================================================================
--- kernel/arch/arm32/include/arch/cp15.h	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm32/include/arch/cp15.h	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm32/src/fpu_context.c	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm32/src/mach/gta02/gta02.c	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/arm64/src/mach/virt/virt.c	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/sparc64/include/arch/register.h	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/sparc64/src/smp/sun4v/smp.c	(revision d70dc1c40835f7e957ea1b4fa52c29db4d21ced4)
@@ -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")) {