cleaned up comments in Makefile

Makefile

@@ -16,21 +16,26 @@ KERNEL_CFLAGS=-nostdlib -T linker.ld
 ARCH = rv32im
 
 ### Build configuration:
+# Define the maximum number of running processes 
+PROCESS_COUNT = 8
 
-# comment out if you don't have any text IO device memory mapped
+# Define the maximum number of binaries packaged with the kernel
+PACKAGED_BINARY_COUNT = 4
+
+# Comment this out if you don't have any text IO device memory mapped
 CFLAGS += -DTEXT_IO_ADDR=0xff0000 -DTEXT_IO_BUFLEN=64
 
-# uncomment these to build with only the rv32i standard
+# Uncomment these to build with only the rv32i standard
 #CFLAGS += -D__risc_no_ext=1
 #ARCH = rv32i
 
-# configure if mtime is memory-mapped or inside a CSR:
+# Configure if mtime is memory-mapped or inside a CSR:
 # replace 0xFF11FF22FF33 with the correct address
 #CFLAGS += -DTIMECMP_IN_MEMORY=1 -DTIMECMP_MEM_ADDR=0xFF11FF22
 
 
 ### End configuration
-CFLAGS += -march=$(ARCH)
+CFLAGS += -march=$(ARCH) -DPROCESS_COUNT=$(PROCESS_COUNT) -DNUM_BINARIES=$(PACKAGED_BINARY_COUNT)
 
 # dependencies that need to be built:
 _DEPS = ecall.c csr.c sched.c io.c malloc.c