From 288910b09cb5a937dd7d340b82ca3f0eddb07bf5 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Sun, 15 Jul 2012 06:21:45 -0700
Subject: [PATCH] add tickless option

---
 include/metalsvm/config.h.scc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/metalsvm/config.h.scc b/include/metalsvm/config.h.scc
index c77fafb6..c99b530b 100644
--- a/include/metalsvm/config.h.scc
+++ b/include/metalsvm/config.h.scc
@@ -56,6 +56,7 @@ extern "C" {
 //#define CONFIG_KEYBOARD
 //#define CONFIG_MULTIBOOT
 #define CONFIG_ROCKCREEK
+//#define CONFIG_TICKLESS
 
 #ifdef CONFIG_ROCKCREEK
 #ifndef __SIZEOF_POINTER__