    bool 'Enable LEON3 interrupt controller    ' CONFIG_IRQ3_ENABLE
    if [ "$CONFIG_IRQ3_ENABLE" = "y" ]; then
      bool 'Enable secondary interrupts           ' CONFIG_IRQ3_SEC
      if [ "$CONFIG_IRQ3_SEC" = "y" ]; then
        int 'Secondary interrupt number (1 - 15)    ' CONFIG_IRQ3_NSEC 12
      fi
    fi

