add tickless option

This commit is contained in:
Stefan Lankes 2012-07-15 06:21:45 -07:00
parent 4ed809ba13
commit 288910b09c

View file

@ -56,6 +56,7 @@ extern "C" {
//#define CONFIG_KEYBOARD
//#define CONFIG_MULTIBOOT
#define CONFIG_ROCKCREEK
//#define CONFIG_TICKLESS
#ifdef CONFIG_ROCKCREEK
#ifndef __SIZEOF_POINTER__