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