X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=bios%2Fvmxassist%2Fsetup.c;h=c453ecde8677761a502bc033e1ce0dc45df1db49;hp=0576900a865229a35af57693a3e4307d18a6c723;hb=cbe9bc8587261deb3aaee94a100594d88bc9765f;hpb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68

diff --git a/bios/vmxassist/setup.c b/bios/vmxassist/setup.c
index 0576900..c453ecd 100644
--- a/bios/vmxassist/setup.c
+++ b/bios/vmxassist/setup.c
@@ -368,8 +368,7 @@ start_bios(void)
 int
 main(void)
 {
-
-  printf("Hello from VMXAssist\n");
+    printf("Hello from VMXAssist\n");
 
 	if (booting_cpu == 0)
 		banner();