Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision e7b7be3ff072782e570cb6ee64b50b1625a3fd89)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 1ba41c5ae41f66c7fa3ef1caef4b77d414202fb3)
@@ -66,5 +66,5 @@
 			size = SIZE2FRAMES(ALIGN_DOWN(e820table[i].size,
 						   FRAME_SIZE));
-			if (minconf < start || minconf >= start+size)
+			if (minconf < start || minconf >= start + size)
 				conf = start;
 			else
Index: kernel/arch/ia32/src/mm/memory_init.c
===================================================================
--- kernel/arch/ia32/src/mm/memory_init.c	(revision e7b7be3ff072782e570cb6ee64b50b1625a3fd89)
+++ kernel/arch/ia32/src/mm/memory_init.c	(revision 1ba41c5ae41f66c7fa3ef1caef4b77d414202fb3)
@@ -44,5 +44,5 @@
 size_t get_memory_size(void) 
 {
-	return e801memorysize*1024;
+	return e801memorysize * 1024;
 }
 
@@ -51,24 +51,24 @@
 	uint8_t i;
 	
-	for (i=0;i<e820counter;i++) {
+	for (i = 0; i < e820counter; i++) {
 		printf("E820 base: %#.16llx size: %#.16llx type: ", e820table[i].base_address, e820table[i].size);
 		switch (e820table[i].type) {
-			case MEMMAP_MEMORY_AVAILABLE: 
-				printf("available memory\n");
-				break;
-			case MEMMAP_MEMORY_RESERVED: 
-				printf("reserved memory\n");
-				break;
-			case MEMMAP_MEMORY_ACPI: 
-				printf("ACPI table\n");
-				break;
-			case MEMMAP_MEMORY_NVS: 
-				printf("NVS\n");
-				break;
-			case MEMMAP_MEMORY_UNUSABLE: 
-				printf("unusable memory\n");
-				break;
-			default:
-				printf("undefined memory type\n");
+		case MEMMAP_MEMORY_AVAILABLE: 
+			printf("available memory\n");
+			break;
+		case MEMMAP_MEMORY_RESERVED: 
+			printf("reserved memory\n");
+			break;
+		case MEMMAP_MEMORY_ACPI: 
+			printf("ACPI table\n");
+			break;
+		case MEMMAP_MEMORY_NVS: 
+			printf("NVS\n");
+			break;
+		case MEMMAP_MEMORY_UNUSABLE: 
+			printf("unusable memory\n");
+			break;
+		default:
+			printf("undefined memory type\n");
 		}
 	}