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.