# Kernel files
    src/ke_timer.c
    src/ke_msg.c
    src/ke_queue.c
    src/ke_mem.c
    src/ke_task.c
    src/ke_event.c
    src/ke_env.c

