1.1 --- a/config/arch/powerpc.in.2	Tue May 31 16:27:39 2011 +0200
     1.2 +++ b/config/arch/powerpc.in.2	Sun Nov 11 21:42:47 2012 +0100
     1.3 @@ -1,8 +1,32 @@
     1.4  # powerpc specific configuration file
     1.5  
     1.6 -config ARCH_POWERPC_SPE
     1.7 +config ARCH_powerpc_ABI
     1.8 +    string
     1.9 +    default ""     if ARCH_powerpc_ABI_DEFAULT
    1.10 +    default "eabi" if ARCH_powerpc_ABI_EABI
    1.11 +    default "spe"  if ARCH_powerpc_ABI_SPE
    1.12 +
    1.13 +choice
    1.14      bool
    1.15 -    prompt "Enable SPE support"
    1.16 +    prompt "ABI"
    1.17 +    default ARCH_powerpc_ABI_DEFAULT
    1.18 +
    1.19 +config ARCH_powerpc_ABI_DEFAULT
    1.20 +    bool
    1.21 +    prompt "default"
    1.22 +    help
    1.23 +      The default ABI (System V.4).
    1.24 +
    1.25 +config ARCH_powerpc_ABI_EABI
    1.26 +    bool
    1.27 +    prompt "EABI"
    1.28 +    depends on BARE_METAL
    1.29 +    help
    1.30 +      The Embedded ABI (stack alignment of 8 bytes, etc).
    1.31 +
    1.32 +config ARCH_powerpc_ABI_SPE
    1.33 +    bool
    1.34 +    prompt "SPE"
    1.35      help
    1.36        Add support for the Signal Processing Engine.  This will set up
    1.37        the toolchain so that it supports the SPE ABI extensions. This
    1.38 @@ -14,3 +38,5 @@
    1.39        will also automatically add "-mabi=spe -mspe" to your TARGET_CFLAGS,
    1.40        and "--enable-e500_double" to your CC_EXTRA_CONFIG_ARRAY, so you
    1.41        do not need to explicitly add them.
    1.42 +
    1.43 +endchoice