diff options
Diffstat (limited to 'extras/mini-os/Makefile')
-rw-r--r-- | extras/mini-os/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index ad4ff8d910..df313e48d5 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -9,7 +9,7 @@ pae ?= n XEN_ROOT = ../.. include $(XEN_ROOT)/Config.mk -XEN_INTERFACE_VERSION := 0x00030204 +XEN_INTERFACE_VERSION := 0x00030205 export XEN_INTERFACE_VERSION # Set TARGET_ARCH |