• CONFIG_LOG_DP : delayed_preempt.c
• CONFIG_LOG_TIMEOUT : delayed_preempt.c
• CONFIG_LOG_TO_KERN : delayed_preempt.c
• l4cpu_reserve_name : include/sched.h
• L4CPU_RESERVE_UTCB_NAME_LEN : utcb_watch.h
• L4CPU_RESERVE_UTCB_STAT_COUNT : utcb_stat.h
• my_default_environment : clientlib.c