@@ -115,6 +115,18 @@ config KERNEL_DIRECT_IO
bool "Compile the kernel with direct IO support"
default n
+config KERNEL_FHANDLE
+ bool "Compile the kernel with support for fhandle syscalls"
+ default n
+
+config KERNEL_FANOTIFY
+ bool "Compile the kernel with modern file notification support"
+ default n
+
+config KERNEL_BLK_DEV_BSG
+ bool "Compile the kernel with SCSI generic v4 support for any block device"
+ default n
+
config KERNEL_MAGIC_SYSRQ
bool "Compile the kernel with SysRq support"
default y
@@ -164,6 +176,22 @@ config USE_SPARSE
bool "Enable sparse check during kernel build"
default n
+config KERNEL_DEVTMPFS
+ bool "Compile the kernel with device tmpfs enabled"
+ default n
+ help
+ devtmpfs is a simple, kernel-managed /dev filesystem. The kernel creates
+ devices nodes for all registered devices ti simplify boot, but leaves more
+ complex tasks to userspace (e.g. udev).
+
+if KERNEL_DEVTMPFS
+
+ config KERNEL_DEVTMPFS_MOUNT
+ bool "Automatically mount devtmpfs after root filesystem is mounted"
+ default n
+
+endif
+
#
# CGROUP support symbols
#
These are all likely to be widely useful in this modern age, but my interest is primarily in systemd support. :-) c.f. http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/sys-apps/systemd/systemd-9999.ebuild?&view=markup#l118 Adapted from a patch by Adam Porter. Signed-off-by: Jeff Waugh <jdub@bethesignal.org> --- config/Config-kernel.in | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+)