1 2if(${CONFIG_OS_OPTION_EVENT}) 3 add_subdirectory(event) 4endif() 5 6if(${CONFIG_OS_OPTION_QUEUE}) 7 add_subdirectory(queue) 8endif() 9 10add_subdirectory(sem) 11 12