rcu: Maintain special bits at bottom of ->dynticks counter
[linux/fpc-iii.git] / drivers / sfi / Kconfig
blobdd115121e0b6816b52982eef1e82f486a2920032
2 # SFI Configuration
5 menuconfig SFI
6         bool "SFI (Simple Firmware Interface) Support"
7         ---help---
8         The Simple Firmware Interface (SFI) provides a lightweight method
9         for platform firmware to pass information to the operating system
10         via static tables in memory.  Kernel SFI support is required to
11         boot on SFI-only platforms.  Currently, all SFI-only platforms are
12         based on the 2nd generation Intel Atom processor platform,
13         code-named Moorestown.
15         For more information, see http://simplefirmware.org
17         Say 'Y' here to enable the kernel to boot on SFI-only platforms.