Changes in / [c40f385:38650da] in mainline

Files:

• boot/Makefile.grub (modified) (1 diff)
• kernel/generic/src/main/main.c (modified) (1 diff)

boot/Makefile.grub

@@ -89 +89 @@
                         echo "  $(MULTIBOOT_CMD) /boot/$$module" >> $(BOOT_CONFIG) ; \
                 else \
-                        echo "  $(MODULE_CMD) /boot/$$module /boot/$$module" >> $(BOOT_CONFIG) ; \
+                        echo "  $(MODULE_CMD) /boot/$$module" >> $(BOOT_CONFIG) ; \
                 fi \
         done

kernel/generic/src/main/main.c

@@ -262 +262 @@
          * Create the first thread.
          */
-        thread_t *kinit_thread =
-            thread_create(kinit, NULL, kernel, 0, "kinit", true);
+        thread_t *kinit_thread
+                = thread_create(kinit, NULL, kernel, 0, "kinit", true);
         if (!kinit_thread)
                 panic("Cannot create kinit thread.");