if(${CONFIG_OS_OPTION_RND})
    add_subdirectory(rnd)
endif()
