From 78c8506e77b393c00001fce9e8b21eda22ed3007 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 4 Jun 2010 11:35:23 +0100 Subject: Watchdog timers for domains Each domain is allowed to set, reset and disable its timers; when any timer runs out the domain is killed. Patch from Christian Limpach Signed-off-by: Tim Deegan --- .hgignore | 1 + 1 file changed, 1 insertion(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index 2bb852ee6d..34c076b21d 100644 --- a/.hgignore +++ b/.hgignore @@ -237,6 +237,7 @@ ^tools/xcutils/xc_restore$ ^tools/xcutils/xc_save$ ^tools/xcutils/readnotes$ +^tools/misc/xenwatchdogd$ ^tools/xenfb/sdlfb$ ^tools/xenfb/vncfb$ ^tools/xenmon/xentrace_setmask$ -- cgit v1.2.3