diff options
-rw-r--r-- | i386/i386at/model_dep.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c index f6e797c..980708c 100644 --- a/i386/i386at/model_dep.c +++ b/i386/i386at/model_dep.c @@ -486,7 +486,7 @@ void c_boot_entry(vm_offset_t bi) /* Before we do _anything_ else, print the hello message. If there are no initialized console devices yet, it will be stored and printed at the first opportunity. */ - printf(version); + printf("%s", version); printf("\n"); #ifdef MACH_XEN |