Add an option to use a SOCKS 4/5 proxy to connect to the internet.
As for the HTTP proxy, this is completetly untested, as I have no such proxy at home.

scripts/crosstool.sh | 45 31 14 0 +++++++++++++++++--------
config/global.in | 95 81 14 0 +++++++++++++++++++++++++++++++++++++++++++--------
2 files changed, 112 insertions(+), 28 deletions(-)

comment "ARM specific options"

config ARCH_ARM_EABI

    bool

    prompt "Use EABI (EXPERIMENTAL)"

    depends on EXPERIMENTAL

    default n

    help

      Set up the toolchain so that it generates EABI-compliant binaries.