| author | Javier Viguera <javier.viguera@digi.com> |
| Thu Apr 07 11:52:23 2011 +0200 (2011-04-07) | |
| changeset 2382 | cbd07f3dd6e3 |
| permissions | -rw-r--r-- |
1 # MIPS specific config options
3 choice
4 bool
5 prompt "ABI"
7 config ARCH_mips_o32
8 bool
9 prompt "o32"
10 depends on ARCH_32
11 help
12 This is the -mabi=32 gcc option.
14 config ARCH_mips_n32
15 bool
16 prompt "n32"
17 depends on ARCH_64
18 help
19 This is the -mabi=n32 gcc option.
21 config ARCH_mips_n64
22 bool
23 prompt "n64"
24 depends on ARCH_64
25 help
26 This is the -mabi=64 gcc option.
28 # Not supported on Linux:
29 # o64 : seems related to *BSD
30 # eabi : seems related to bare-metal
32 endchoice
34 config ARCH_mips_ABI
35 string
36 default "32" if ARCH_mips_o32
37 default "n32" if ARCH_mips_n32
38 default "64" if ARCH_mips_n64