linux-seblu build 2

pkgname=linux-seblu

pkgver=3.17

pkgrel=1

pkgrel=2

arch=('x86_64')

license=('GPL2')

url='http://www.kernel.org'

# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set

CONFIG_SYSCTL=y

CONFIG_ANON_INODES=y

CONFIG_HAVE_UID16=y

CONFIG_SYSCTL_EXCEPTION_TRACE=y

CONFIG_HAVE_PCSPKR_PLATFORM=y

# CONFIG_EXPERT is not set

CONFIG_UID16=y

CONFIG_SGETMASK_SYSCALL=y

CONFIG_SYSFS_SYSCALL=y

# CONFIG_SYSCTL_SYSCALL is not set

CONFIG_HAVE_ALIGNED_STRUCT_PAGE=y

CONFIG_HAVE_CMPXCHG_LOCAL=y

CONFIG_HAVE_CMPXCHG_DOUBLE=y

CONFIG_ARCH_WANT_COMPAT_IPC_PARSE_VERSION=y

CONFIG_ARCH_WANT_OLD_COMPAT_IPC=y

CONFIG_HAVE_ARCH_SECCOMP_FILTER=y

CONFIG_SECCOMP_FILTER=y

CONFIG_HAVE_CC_STACKPROTECTOR=y

CONFIG_HAVE_ARCH_SOFT_DIRTY=y

CONFIG_MODULES_USE_ELF_RELA=y

CONFIG_HAVE_IRQ_EXIT_ON_IRQ_STACK=y

CONFIG_OLD_SIGSUSPEND3=y

CONFIG_COMPAT_OLD_SIGACTION=y

#

# GCOV-based kernel profiling

CONFIG_EFI_PARTITION=y

CONFIG_SYSV68_PARTITION=y

# CONFIG_CMDLINE_PARTITION is not set

CONFIG_BLOCK_COMPAT=y

#

# IO Schedulers

CONFIG_HOTPLUG_CPU=y

# CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set

# CONFIG_DEBUG_HOTPLUG_CPU0 is not set

# CONFIG_COMPAT_VDSO is not set

# CONFIG_CMDLINE_BOOL is not set

CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y

CONFIG_USE_PERCPU_NUMA_NODE_ID=y

# Executable file formats / Emulations

#

CONFIG_BINFMT_ELF=y

CONFIG_COMPAT_BINFMT_ELF=y

CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE=y

# CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set

CONFIG_BINFMT_SCRIPT=y

# CONFIG_HAVE_AOUT is not set

CONFIG_BINFMT_MISC=y

CONFIG_COREDUMP=y

# CONFIG_IA32_EMULATION is not set

CONFIG_IA32_EMULATION=y

CONFIG_IA32_AOUT=m

# CONFIG_X86_X32 is not set

CONFIG_COMPAT=y

CONFIG_COMPAT_FOR_U64_ALIGNMENT=y

CONFIG_SYSVIPC_COMPAT=y

CONFIG_KEYS_COMPAT=y

CONFIG_X86_DEV_DMA_OPS=y

CONFIG_IOSF_MBI=m

CONFIG_PMC_ATOM=y

CONFIG_NET=y

CONFIG_COMPAT_NETLINK_MESSAGES=y

#

# Networking options

CONFIG_QFMT_V1=m

CONFIG_QFMT_V2=m

CONFIG_QUOTACTL=y

CONFIG_QUOTACTL_COMPAT=y

CONFIG_AUTOFS4_FS=m

CONFIG_FUSE_FS=m

CONFIG_CUSE=m