diff options
Diffstat (limited to 'stubdom/Makefile')
-rw-r--r-- | stubdom/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index b82f668038..4f4240cfd5 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -3,12 +3,12 @@ MINI_OS = $(XEN_ROOT)/extras/mini-os export XEN_OS=MiniOS -CONFIG_QEMU=ioemu - export stubdom=y export debug=y include $(XEN_ROOT)/Config.mk +override CONFIG_QEMU=ioemu + IOEMU_OPTIONS=--disable-sdl --disable-opengl --disable-gfx-check --disable-vnc-tls --disable-brlapi --disable-kqemu ZLIB_VERSION=1.2.3 LIBPCI_VERSION=2.2.9 |