diff --git a/Makefile b/Makefile index 96179a5..1cdefc5 100644 --- a/Makefile +++ b/Makefile @@ -11,19 +11,19 @@ GCC_PREF=riscv32-unknown-elf- CC=$(GCC_PREF)gcc OBJDUMP=$(GCC_PREF)objdump -CFLAGS=-I$(KLIBDIR) -O3 -MD -mcmodel=medany -mexplicit-relocs +CFLAGS=-I$(KLIBDIR) -O3 -MD -mcmodel=medany KERNEL_CFLAGS=-nostdlib -T linker.ld ARCH = rv32im # here you ### Build configuration: -# uncomment to build with only the rv32i standard -CFLAGS += -D__risc_no_ext=1 -ARCH = rv32i +# 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: # replace 0xFF11FF22FF33 with the correct address -CFLAGS += -DTIMECMP_IN_MEMORY=1 -DTIMECMP_MEM_ADDR=0xFF11FF22 +#CFLAGS += -DTIMECMP_IN_MEMORY=1 -DTIMECMP_MEM_ADDR=0xFF11FF22 ### End configuration