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