Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/generic/src/console/cmd.c	(revision cbc534cf92ce35b6ee6f37943d685bdc4b1b70d8)
@@ -923,5 +923,5 @@
 
 	printf("Up %" PRIun " days, %" PRIun " hours, %" PRIun " minutes, %" PRIun " seconds\n",
-		sec / 86400, (sec % 86400) / 3600, (sec % 3600) / 60, sec % 60);
+	    sec / 86400, (sec % 86400) / 3600, (sec % 3600) / 60, sec % 60);
 
 	return 1;
@@ -1088,5 +1088,5 @@
 		    (void *) cmd_call2);
 		printf("Calling f(%#" PRIxn ", %#" PRIxn "): %p: %s\n",
-		       arg1, arg2, (void *) symaddr, symbol);
+		    arg1, arg2, (void *) symaddr, symbol);
 		printf("Result: %#" PRIxn "\n", fnc(arg1, arg2));
 		interrupts_restore(ipl);
@@ -1125,5 +1125,5 @@
 		    (void *) cmd_call3);
 		printf("Calling f(%#" PRIxn ",%#" PRIxn ", %#" PRIxn "): %p: %s\n",
-		       arg1, arg2, arg3, (void *) symaddr, symbol);
+		    arg1, arg2, arg3, (void *) symaddr, symbol);
 		printf("Result: %#" PRIxn "\n", fnc(arg1, arg2, arg3));
 		interrupts_restore(ipl);
@@ -1188,5 +1188,5 @@
 		pointer = true;
 	} else if (((char *) argv->buffer)[0] >= '0' &&
-		   ((char *) argv->buffer)[0] <= '9') {
+	    ((char *) argv->buffer)[0] <= '9') {
 		uint64_t value;
 		rc = str_uint64_t((char *) argv->buffer, NULL, 0, true, &value);
@@ -1206,5 +1206,5 @@
 		if (pointer)
 			addr = *(uintptr_t *) addr;
-		printf("Writing %#" PRIx32" -> %p\n", arg1, (void *) addr);
+		printf("Writing %#" PRIx32 " -> %p\n", arg1, (void *) addr);
 		*(uint32_t *) addr = arg1;
 	} else
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/generic/src/console/kconsole.c	(revision cbc534cf92ce35b6ee6f37943d685bdc4b1b70d8)
@@ -86,5 +86,5 @@
 LIST_INITIALIZE(cmd_list);      /**< Command list. */
 
-static wchar_t history[KCONSOLE_HISTORY][MAX_CMDLINE] = {};
+static wchar_t history[KCONSOLE_HISTORY][MAX_CMDLINE] = { };
 static size_t history_pos = 0;
 
@@ -166,5 +166,5 @@
 const char *cmdtab_enum(const char *name, const char **h, void **ctx)
 {
-	link_t **startpos = (link_t**) ctx;
+	link_t **startpos = (link_t **) ctx;
 	size_t namelen = str_length(name);
 
@@ -376,5 +376,5 @@
 				beg = position - 1;
 				while ((beg > 0) && (!isspace(current[beg])))
-				    beg--;
+					beg--;
 
 				if (isspace(current[beg]))