menu "irq proxy configuration"

    config IRQ_PROXY
        bool "irq proxy support"
        default n

endmenu