# List of all the Nil RTOS kernel files.
KERNSRC = ${NILRTOS}/os/kernel/nil.c

# Required include directories
KERNINC = ${NILRTOS}/os/kernel