| author | "Jerzy Grzegorek" <jerzy.grzegorek@trzebnica.net> |
| Thu Mar 21 11:01:09 2013 +0100 (2013-03-21) | |
| changeset 3205 | 30de175d3ed3 |
| 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