x86/xen: resume timer irqs early
[linux/fpc-iii.git] / arch / arc / plat-tb10x / Kconfig
blob1ab386bb5da895bd4e876b1d78977e684c83f3fe
1 # Abilis Systems TB10x platform kernel configuration file
3 # Author: Christian Ruppert <christian.ruppert@abilis.com>
5 # This program is free software; you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License version 2 as
7 # published by the Free Software Foundation.
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 # GNU General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with this program; if not, write to the Free Software
16 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
19 menuconfig ARC_PLAT_TB10X
20         bool "Abilis TB10x"
21         select COMMON_CLK
22         select PINCTRL
23         select PINMUX
24         select ARCH_REQUIRE_GPIOLIB
25         select TB10X_IRQC
26         help
27           Support for platforms based on the TB10x home media gateway SOC by
28           Abilis Systems. TB10x is based on the ARC700 CPU architecture.
29           Say Y if you are building a kernel for one of the SOCs in this
30           series (e.g. TB100 or TB101). If in doubt say N.