From ac329ac147a863d1cdf9a18e8a552faae24ff7cf Mon Sep 17 00:00:00 2001 From: Anton Lydike Date: Mon, 30 Aug 2021 20:11:59 +0200 Subject: [PATCH] cleaned up comments in Makefile --- Makefile | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 4305f2e..5542443 100644 --- a/Makefile +++ b/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