From 36d649e09823b1eb36e065422791d4be1a95b647 Mon Sep 17 00:00:00 2001 From: Sean McBride Date: Fri, 27 Nov 2020 19:12:04 -0500 Subject: [PATCH] chore: improve documentation of preempt_disable --- runtime/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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