code reformat
[coreboot.git] / src / boot / hardwaremain.c
index 86ea097965e65b21c70efcc0ee92ec9487bd7f58..efaf59519d5e9cf21410f12459f401845af7fe48 100644 (file)
@@ -152,7 +152,7 @@ void hardwaremain(int boot_complete)
        unsigned long totalmem;
 
        post_code(0x80);
-       
+
        CONFIGURE(CONF_PASS_PRE_CONSOLE);
 
        /* displayinit MUST PRECEDE ALL PRINTK! */