| SRC_LIBSEL4 ?= $(ROOTDIR)/kata/kernel/libsel4 |
| OUT_KATA ?= $(OUT)/kata/riscv32-unknown-elf/release |
| OUT_MINISEL ?= $(OUT)/tmp/minisel |
| |
| INCLUDES += -I$(SRC_LIBSEL4)/arch_include/riscv |
| INCLUDES += -I$(SRC_LIBSEL4)/include |
| INCLUDES += -I$(SRC_LIBSEL4)/mode_include/32 |
| INCLUDES += -I$(SRC_LIBSEL4)/sel4_arch_include/riscv32/ |
| INCLUDES += -I$(OUT_KATA)/kernel/gen_config |
| INCLUDES += -I$(OUT_KATA)/libsel4/autoconf |
| INCLUDES += -I$(OUT_KATA)/libsel4/gen_config/ |
| INCLUDES += -I$(OUT_KATA)/libsel4/include |
| INCLUDES += -I$(OUT_KATA)/libsel4/sel4_arch_include/riscv32 |
| |
| OPT=-O0 |
| DBG=-g |
| |
| all: $(OUT_MINISEL)/minisel.elf |
| |
| $(OUT_MINISEL)/minisel.elf: |
| mkdir -p $(OUT_MINISEL) |
| riscv32-unknown-elf-gcc $(DBG) $(OPT) $(INCLUDES) -march=rv32imac -mabi=ilp32 -std=gnu11 -c minisel.c -o $(OUT_MINISEL)/minisel.o |
| riscv32-unknown-elf-gcc $(DBG) -static -nostdlib $(OUT_MINISEL)/minisel.o -o $(OUT_MINISEL)/minisel.elf |
