• CONFIG_BASE_VECTORS : os_config.h
• CONFIG_CACHE : os_config.h
• CONFIG_ELF_PROCESS : os_config.h
• CONFIG_MALLOC : os_config.h
• CONFIG_MSGQ : os_config.h
• CONFIG_PTHREAD_MUTEX : os_config.h
• CONFIG_PTHREAD_SUPPORT : os_config.h
• CONFIG_SEMA : os_config.h
• CONFIG_SHM : os_config.h
• CONFIG_TIMERS : os_config.h
• MAX_PROCS : os_config.h
• MAX_READYQ : os_config.h
• PROC_NEW : process.h
• RUN_Q : queue.h
• SCHED_TYPE : os_config.h
• TIMER_TICKS : os_config.h

---