diff options
-rw-r--r-- | Config.mk | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -208,9 +208,9 @@ endif # CONFIG_QEMU ?= `pwd`/$(XEN_ROOT)/../qemu-xen.git CONFIG_QEMU ?= $(QEMU_REMOTE) -QEMU_TAG ?= 68af5b5191593223709680b89951dfc84a32bee8 -# Mon Dec 5 13:43:34 2011 +0000 -# qemu_timer_pending/qemu_get_timer: cope with NULL timers +QEMU_TAG ?= 54e24021005458ad0a361c1d83011b751726a94b +# Thu Dec 8 16:38:06 2011 +0000 +# qemu_get_timer: Provide a comment about the behaviour on ts==NULL # Short answer -- do not enable this unless you know what you are # doing and are prepared for some pain. |