menu "FreeRTOS"

    config FREERTOS_NO_AFFINITY
        hex
        default 0x7FFFFFFF

endmenu