You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

78 lines
1.8 KiB
Makefile

# small makefile for compiling the kernel
# kernel lib dir
KLIBDIR=kinclude
# object file dir
ODIR=obj
# target dir
TARGET=out
GCC_PREF=riscv32-unknown-elf-
CC=$(GCC_PREF)gcc
OBJDUMP=$(GCC_PREF)objdump
CFLAGS=-I$(KLIBDIR) -O3 -MD -mcmodel=medany -Wall -Wextra -pedantic-errors -Wno-builtin-declaration-mismatch
KERNEL_CFLAGS=-nostdlib -T linker.ld
ARCH = rv32im
### Build configuration:
# Define the maximum number of running processes
PROCESS_COUNT = 8
# 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
#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
### End configuration
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
# dependencies as object files:
_OBJ = ecall.o sched.o boot.o csr.o io.o malloc.o
DEPS = $(patsubst %,$(KLIBDIR)/%,$(_DEPS))
OBJ = $(patsubst %,$(ODIR)/%,$(_OBJ))
.PHONY: clean
.PHONY: directories
.PHONY: kernel
directories:
mkdir -p $(ODIR) $(TARGET)
$(ODIR)/boot.o: $(KLIBDIR)/boot.S
$(CC) -c -o $@ $(KLIBDIR)/boot.S $(CFLAGS) -D__assembly
$(ODIR)/%.o: $(KLIBDIR)/%.c $(KLIBDIR)/%.h
$(CC) -c -o $@ $(KLIBDIR)/$*.c $(CFLAGS)
_kernel: $(OBJ)
$(CC) -o $(TARGET)/kernel $^ kernel.c $(CFLAGS) $(KERNEL_CFLAGS)
kernel: directories _kernel
kernel-dump: kernel
$(OBJDUMP) -SFldft $(TARGET)/kernel > $(TARGET)/kernel-objects
all: kernel-dump
clean:
rm -rf $(ODIR) *~ $(KLIBDIR)/*~ $(TARGET)
-include $(OBJ:.o=.d)