
    bool 'Enable generic GPIO port              ' CONFIG_GRGPIO_ENABLE
    if [ "$CONFIG_GRGPIO_ENABLE" = "y" ]; then
      int 'GPIO width            '   CONFIG_GRGPIO_WIDTH 8
      hex 'GPIO interrupt mask   '   CONFIG_GRGPIO_IMASK 0000
    fi

