diff --git a/Makefile.target b/Makefile.target index cfb3cd88fceedc37c9dce328cbb7f5d9cdf57bb7..95ea88640477c7157db40f20852e5c97b8f4ae68 100644 --- a/Makefile.target +++ b/Makefile.target @@ -12,9 +12,9 @@ DYNGEN=../dyngen QEMU_USER=qemu-$(TARGET_ARCH) # system emulator name ifdef CONFIG_SOFTMMU -QEMU_SYSTEM=qemu-softmmu -else QEMU_SYSTEM=qemu +else +QEMU_SYSTEM=qemu-fast endif ifdef CONFIG_USER_ONLY diff --git a/vl.c b/vl.c index 1286fac0b5a1136b2bf90d142ed27b06abf049bd..19343cf6c077647bad86a79a6c1e5c2743cca78d 100644 --- a/vl.c +++ b/vl.c @@ -3446,7 +3446,7 @@ int main_loop(void *opaque) void help(void) { printf("QEMU PC emulator version " QEMU_VERSION ", Copyright (c) 2003 Fabrice Bellard\n" - "usage: qemu [options] [disk_image]\n" + "usage: %s [options] [disk_image]\n" "\n" "'disk_image' is a raw hard image image for IDE hard disk 0\n" "\n" @@ -3472,8 +3472,20 @@ void help(void) "-L path set the directory for the BIOS and VGA BIOS\n" "\n" "During emulation, use C-a h to get terminal commands:\n", - DEFAULT_NETWORK_SCRIPT, DEFAULT_GDBSTUB_PORT); +#ifdef CONFIG_SOFTMMU + "qemu", +#else + "qemu-fast", +#endif + DEFAULT_NETWORK_SCRIPT, + DEFAULT_GDBSTUB_PORT); term_print_help(); +#ifndef CONFIG_SOFTMMU + printf("\n" + "NOTE: this version of QEMU is faster but it needs slightly patched OSes to\n" + "work. Please use the 'qemu' executable to have a more accurate (but slower)\n" + "PC emulation.\n"); +#endif exit(1); }