# Debug files
    src/dbg_print.c
    src/dbg_profiling.c
    src/dbg_task.c
    src/dbg_assert.c
    src/dbg.c
    src/trace.c
