cdl_component CYG_HAL_STARTUP {
    user_value RAM
};

cdl_option CYGSEM_HAL_USE_ROM_MONITOR {
    user_value 0 0
};

cdl_component CYGDBG_HAL_DIAG_TO_DEBUG_CHAN {
    user_value 0
};

cdl_option CYGSEM_HAL_VIRTUAL_VECTOR_INIT_WHOLE_TABLE {
    user_value 1
};


cdl_component CYGPKG_INFRA_DEBUG {
    user_value 1
};


cdl_option CYGDBG_INFRA_DEBUG_TRACE_ASSERT_FANCY {
    user_value 1
};

cdl_option CYGDBG_INFRA_DEBUG_TRACE_ASSERT_BUFFER {
    user_value 0
};

cdl_option CYGDBG_HAL_DEBUG_GDB_INCLUDE_STUBS {
    user_value 0
}

cdl_option CYGDBG_HAL_DEBUG_GDB_THREAD_SUPPORT {
    user_value 0
};

cdl_option CYGSEM_HAL_DIAG_MANGLER {
    user_value None
};