diff --git a/runtime/Makefile b/runtime/Makefile index 0e23dfb..f9244c4 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -56,7 +56,10 @@ USE_MEM = USE_MEM_VM CFLAGS += -D${ARCH} CFLAGS += -DNCORES=${TOTAL_CORES} CFLAGS += -DPAGE_SIZE=$(PAGE_SIZE) -#CFLAGS += -DPREEMPT_DISABLE + +# Optionally Disable preemption +# CFLAGS += -DPREEMPT_DISABLE + CFLAGS += -D${USE_MEM} # Preprocessor