| author | Daniel Price <daniel.price@gmail.com> |
| Tue Nov 20 16:59:17 2012 -0800 (2012-11-20) | |
| changeset 3125 | 15cd5dc25929 |
| 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