x86: Make the vdso2c compiler use the host architecture headers
[linux/fpc-iii.git] / arch / arm / mach-dove / Kconfig
blob0bd6d894c5970474799c92c7fca5a1512acbd54c
1 if ARCH_DOVE
3 menu "Marvell Dove Implementations"
5 config DOVE_LEGACY
6         bool
8 config MACH_DOVE_DB
9         bool "Marvell DB-MV88AP510 Development Board"
10         select DOVE_LEGACY
11         select I2C_BOARDINFO if I2C
12         help
13           Say 'Y' here if you want your kernel to support the
14           Marvell DB-MV88AP510 Development Board.
16 config MACH_CM_A510
17         bool "CompuLab CM-A510 Board"
18         select DOVE_LEGACY
19         help
20           Say 'Y' here if you want your kernel to support the
21           CompuLab CM-A510 Board.
23 endmenu
25 endif