mmrnmhrm: Add kernel configuration as an attrset.

So, this is the first step towards enhancing manual kernel configuration. Of
course. this still looks a bit ugly because I personally don't like
all-uppercase variable names for the kernel config and it still needs to have a
few more expressions to properly handle value types (y/n/m, int, hex, string).

Signed-off-by: aszlig <aszlig@redmoonstudios.org>

2 files changed, 1083 insertions, 7 deletions

diff --git a/machines/mmrnmhrm-kconf.nix b/machines/mmrnmhrm-kconf.nix
new file mode 100644
index 00000000..cb252fb5
--- /dev/null
+++ b/machines/mmrnmhrm-kconf.nix
@@ -0,0 +1,1068 @@
+{
+  "CONFIG_64BIT" = "y";
+  "CONFIG_X86_64" = "y";
+  "CONFIG_X86" = "y";
+  "CONFIG_INSTRUCTION_DECODER" = "y";
+  "CONFIG_OUTPUT_FORMAT" = "elf64-x86-64";
+  "CONFIG_ARCH_DEFCONFIG" = "arch/x86/configs/x86_64_defconfig";
+  "CONFIG_LOCKDEP_SUPPORT" = "y";
+  "CONFIG_STACKTRACE_SUPPORT" = "y";
+  "CONFIG_HAVE_LATENCYTOP_SUPPORT" = "y";
+  "CONFIG_MMU" = "y";
+  "CONFIG_NEED_DMA_MAP_STATE" = "y";
+  "CONFIG_NEED_SG_DMA_LENGTH" = "y";
+  "CONFIG_GENERIC_ISA_DMA" = "y";
+  "CONFIG_GENERIC_BUG" = "y";
+  "CONFIG_GENERIC_BUG_RELATIVE_POINTERS" = "y";
+  "CONFIG_GENERIC_HWEIGHT" = "y";
+  "CONFIG_ARCH_MAY_HAVE_PC_FDC" = "y";
+  "CONFIG_RWSEM_XCHGADD_ALGORITHM" = "y";
+  "CONFIG_GENERIC_CALIBRATE_DELAY" = "y";
+  "CONFIG_ARCH_HAS_CPU_RELAX" = "y";
+  "CONFIG_ARCH_HAS_DEFAULT_IDLE" = "y";
+  "CONFIG_ARCH_HAS_CACHE_LINE_SIZE" = "y";
+  "CONFIG_ARCH_HAS_CPU_AUTOPROBE" = "y";
+  "CONFIG_HAVE_SETUP_PER_CPU_AREA" = "y";
+  "CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK" = "y";
+  "CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK" = "y";
+  "CONFIG_ARCH_HIBERNATION_POSSIBLE" = "y";
+  "CONFIG_ARCH_SUSPEND_POSSIBLE" = "y";
+  "CONFIG_ZONE_DMA32" = "y";
+  "CONFIG_AUDIT_ARCH" = "y";
+  "CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING" = "y";
+  "CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC" = "y";
+  "CONFIG_X86_64_SMP" = "y";
+  "CONFIG_X86_HT" = "y";
+  "CONFIG_ARCH_HWEIGHT_CFLAGS" = "-fcall-saved-rdi -fcall-saved-rsi -fcall-saved-rdx -fcall-saved-rcx -fcall-saved-r8 -fcall-saved-r9 -fcall-saved-r10 -fcall-saved-r11";
+  "CONFIG_ARCH_SUPPORTS_UPROBES" = "y";
+  "CONFIG_DEFCONFIG_LIST" = "/lib/modules/$UNAME_RELEASE/.config";
+  "CONFIG_HAVE_IRQ_WORK" = "y";
+  "CONFIG_IRQ_WORK" = "y";
+  "CONFIG_BUILDTIME_EXTABLE_SORT" = "y";
+  "CONFIG_EXPERIMENTAL" = "y";
+  "CONFIG_INIT_ENV_ARG_LIMIT" = "32";
+  "CONFIG_CROSS_COMPILE" = "";
+  "CONFIG_LOCALVERSION" = "";
+  "CONFIG_HAVE_KERNEL_GZIP" = "y";
+  "CONFIG_HAVE_KERNEL_BZIP2" = "y";
+  "CONFIG_HAVE_KERNEL_LZMA" = "y";
+  "CONFIG_HAVE_KERNEL_XZ" = "y";
+  "CONFIG_HAVE_KERNEL_LZO" = "y";
+  "CONFIG_KERNEL_GZIP" = "y";
+  "CONFIG_DEFAULT_HOSTNAME" = "mmrnmhrm";
+  "CONFIG_SWAP" = "y";
+  "CONFIG_SYSVIPC" = "y";
+  "CONFIG_SYSVIPC_SYSCTL" = "y";
+  "CONFIG_POSIX_MQUEUE" = "y";
+  "CONFIG_POSIX_MQUEUE_SYSCTL" = "y";
+  "CONFIG_FHANDLE" = "y";
+  "CONFIG_HAVE_GENERIC_HARDIRQS" = "y";
+  "CONFIG_GENERIC_HARDIRQS" = "y";
+  "CONFIG_GENERIC_IRQ_PROBE" = "y";
+  "CONFIG_GENERIC_IRQ_SHOW" = "y";
+  "CONFIG_GENERIC_PENDING_IRQ" = "y";
+  "CONFIG_IRQ_DOMAIN" = "y";
+  "CONFIG_IRQ_FORCED_THREADING" = "y";
+  "CONFIG_SPARSE_IRQ" = "y";
+  "CONFIG_CLOCKSOURCE_WATCHDOG" = "y";
+  "CONFIG_ARCH_CLOCKSOURCE_DATA" = "y";
+  "CONFIG_GENERIC_TIME_VSYSCALL" = "y";
+  "CONFIG_GENERIC_CLOCKEVENTS" = "y";
+  "CONFIG_GENERIC_CLOCKEVENTS_BUILD" = "y";
+  "CONFIG_GENERIC_CLOCKEVENTS_BROADCAST" = "y";
+  "CONFIG_GENERIC_CLOCKEVENTS_MIN_ADJUST" = "y";
+  "CONFIG_GENERIC_CMOS_UPDATE" = "y";
+  "CONFIG_TICK_ONESHOT" = "y";
+  "CONFIG_NO_HZ" = "y";
+  "CONFIG_HIGH_RES_TIMERS" = "y";
+  "CONFIG_TICK_CPU_ACCOUNTING" = "y";
+  "CONFIG_BSD_PROCESS_ACCT" = "y";
+  "CONFIG_BSD_PROCESS_ACCT_V3" = "y";
+  "CONFIG_TASKSTATS" = "y";
+  "CONFIG_TASK_DELAY_ACCT" = "y";
+  "CONFIG_TASK_XACCT" = "y";
+  "CONFIG_TASK_IO_ACCOUNTING" = "y";
+  "CONFIG_TREE_PREEMPT_RCU" = "y";
+  "CONFIG_PREEMPT_RCU" = "y";
+  "CONFIG_RCU_FANOUT" = "64";
+  "CONFIG_RCU_FANOUT_LEAF" = "16";
+  "CONFIG_RCU_BOOST" = "y";
+  "CONFIG_RCU_BOOST_PRIO" = "1";
+  "CONFIG_RCU_BOOST_DELAY" = "500";
+  "CONFIG_IKCONFIG" = "y";
+  "CONFIG_IKCONFIG_PROC" = "y";
+  "CONFIG_LOG_BUF_SHIFT" = "17";
+  "CONFIG_HAVE_UNSTABLE_SCHED_CLOCK" = "y";
+  "CONFIG_CGROUPS" = "y";
+  "CONFIG_CGROUP_FREEZER" = "y";
+  "CONFIG_CGROUP_DEVICE" = "y";
+  "CONFIG_CPUSETS" = "y";
+  "CONFIG_CGROUP_CPUACCT" = "y";
+  "CONFIG_CGROUP_SCHED" = "y";
+  "CONFIG_FAIR_GROUP_SCHED" = "y";
+  "CONFIG_CFS_BANDWIDTH" = "y";
+  "CONFIG_BLK_CGROUP" = "y";
+  "CONFIG_NAMESPACES" = "y";
+  "CONFIG_UTS_NS" = "y";
+  "CONFIG_IPC_NS" = "y";
+  "CONFIG_PID_NS" = "y";
+  "CONFIG_NET_NS" = "y";
+  "CONFIG_SCHED_AUTOGROUP" = "y";
+  "CONFIG_RELAY" = "y";
+  "CONFIG_BLK_DEV_INITRD" = "y";
+  "CONFIG_INITRAMFS_SOURCE" = "";
+  "CONFIG_RD_GZIP" = "y";
+  "CONFIG_RD_BZIP2" = "y";
+  "CONFIG_RD_LZMA" = "y";
+  "CONFIG_RD_XZ" = "y";
+  "CONFIG_RD_LZO" = "y";
+  "CONFIG_SYSCTL" = "y";
+  "CONFIG_ANON_INODES" = "y";
+  "CONFIG_HAVE_UID16" = "y";
+  "CONFIG_UID16" = "y";
+  "CONFIG_SYSCTL_EXCEPTION_TRACE" = "y";
+  "CONFIG_KALLSYMS" = "y";
+  "CONFIG_HOTPLUG" = "y";
+  "CONFIG_PRINTK" = "y";
+  "CONFIG_BUG" = "y";
+  "CONFIG_ELF_CORE" = "y";
+  "CONFIG_PCSPKR_PLATFORM" = "y";
+  "CONFIG_HAVE_PCSPKR_PLATFORM" = "y";
+  "CONFIG_BASE_FULL" = "y";
+  "CONFIG_FUTEX" = "y";
+  "CONFIG_EPOLL" = "y";
+  "CONFIG_SIGNALFD" = "y";
+  "CONFIG_TIMERFD" = "y";
+  "CONFIG_EVENTFD" = "y";
+  "CONFIG_SHMEM" = "y";
+  "CONFIG_AIO" = "y";
+  "CONFIG_HAVE_PERF_EVENTS" = "y";
+  "CONFIG_PERF_EVENTS" = "y";
+  "CONFIG_VM_EVENT_COUNTERS" = "y";
+  "CONFIG_PCI_QUIRKS" = "y";
+  "CONFIG_SLUB_DEBUG" = "y";
+  "CONFIG_SLUB" = "y";
+  "CONFIG_HAVE_OPROFILE" = "y";
+  "CONFIG_OPROFILE_NMI_TIMER" = "y";
+  "CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS" = "y";
+  "CONFIG_USER_RETURN_NOTIFIER" = "y";
+  "CONFIG_HAVE_IOREMAP_PROT" = "y";
+  "CONFIG_HAVE_KPROBES" = "y";
+  "CONFIG_HAVE_KRETPROBES" = "y";
+  "CONFIG_HAVE_OPTPROBES" = "y";
+  "CONFIG_HAVE_ARCH_TRACEHOOK" = "y";
+  "CONFIG_HAVE_DMA_ATTRS" = "y";
+  "CONFIG_USE_GENERIC_SMP_HELPERS" = "y";
+  "CONFIG_GENERIC_SMP_IDLE_THREAD" = "y";
+  "CONFIG_HAVE_REGS_AND_STACK_ACCESS_API" = "y";
+  "CONFIG_HAVE_DMA_API_DEBUG" = "y";
+  "CONFIG_HAVE_HW_BREAKPOINT" = "y";
+  "CONFIG_HAVE_MIXED_BREAKPOINTS_REGS" = "y";
+  "CONFIG_HAVE_USER_RETURN_NOTIFIER" = "y";
+  "CONFIG_HAVE_PERF_EVENTS_NMI" = "y";
+  "CONFIG_HAVE_PERF_REGS" = "y";
+  "CONFIG_HAVE_PERF_USER_STACK_DUMP" = "y";
+  "CONFIG_HAVE_ARCH_JUMP_LABEL" = "y";
+  "CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG" = "y";
+  "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_GENERIC_KERNEL_THREAD" = "y";
+  "CONFIG_GENERIC_KERNEL_EXECVE" = "y";
+  "CONFIG_HAVE_ARCH_SECCOMP_FILTER" = "y";
+  "CONFIG_SECCOMP_FILTER" = "y";
+  "CONFIG_HAVE_CONTEXT_TRACKING" = "y";
+  "CONFIG_HAVE_IRQ_TIME_ACCOUNTING" = "y";
+  "CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE" = "y";
+  "CONFIG_MODULES_USE_ELF_RELA" = "y";
+  "CONFIG_SLABINFO" = "y";
+  "CONFIG_RT_MUTEXES" = "y";
+  "CONFIG_BASE_SMALL" = "0";
+  "CONFIG_MODULES" = "y";
+  "CONFIG_MODULE_FORCE_LOAD" = "y";
+  "CONFIG_MODULE_UNLOAD" = "y";
+  "CONFIG_MODULE_FORCE_UNLOAD" = "y";
+  "CONFIG_MODVERSIONS" = "y";
+  "CONFIG_STOP_MACHINE" = "y";
+  "CONFIG_BLOCK" = "y";
+  "CONFIG_BLK_DEV_BSG" = "y";
+  "CONFIG_BLK_DEV_INTEGRITY" = "y";
+  "CONFIG_BLK_DEV_THROTTLING" = "y";
+  "CONFIG_MSDOS_PARTITION" = "y";
+  "CONFIG_BLOCK_COMPAT" = "y";
+  "CONFIG_IOSCHED_NOOP" = "y";
+  "CONFIG_IOSCHED_DEADLINE" = "y";
+  "CONFIG_IOSCHED_CFQ" = "y";
+  "CONFIG_CFQ_GROUP_IOSCHED" = "y";
+  "CONFIG_DEFAULT_CFQ" = "y";
+  "CONFIG_DEFAULT_IOSCHED" = "cfq";
+  "CONFIG_PREEMPT_NOTIFIERS" = "y";
+  "CONFIG_PADATA" = "y";
+  "CONFIG_ASN1" = "m";
+  "CONFIG_UNINLINE_SPIN_UNLOCK" = "y";
+  "CONFIG_MUTEX_SPIN_ON_OWNER" = "y";
+  "CONFIG_FREEZER" = "y";
+  "CONFIG_ZONE_DMA" = "y";
+  "CONFIG_SMP" = "y";
+  "CONFIG_X86_SUPPORTS_MEMORY_FAILURE" = "y";
+  "CONFIG_SCHED_OMIT_FRAME_POINTER" = "y";
+  "CONFIG_NO_BOOTMEM" = "y";
+  "CONFIG_MEMTEST" = "y";
+  "CONFIG_MCORE2" = "y";
+  "CONFIG_X86_INTERNODE_CACHE_SHIFT" = "6";
+  "CONFIG_X86_L1_CACHE_SHIFT" = "6";
+  "CONFIG_X86_INTEL_USERCOPY" = "y";
+  "CONFIG_X86_USE_PPRO_CHECKSUM" = "y";
+  "CONFIG_X86_P6_NOP" = "y";
+  "CONFIG_X86_TSC" = "y";
+  "CONFIG_X86_CMPXCHG64" = "y";
+  "CONFIG_X86_CMOV" = "y";
+  "CONFIG_X86_MINIMUM_CPU_FAMILY" = "64";
+  "CONFIG_X86_DEBUGCTLMSR" = "y";
+  "CONFIG_CPU_SUP_INTEL" = "y";
+  "CONFIG_CPU_SUP_AMD" = "y";
+  "CONFIG_CPU_SUP_CENTAUR" = "y";
+  "CONFIG_HPET_TIMER" = "y";
+  "CONFIG_HPET_EMULATE_RTC" = "y";
+  "CONFIG_DMI" = "y";
+  "CONFIG_GART_IOMMU" = "y";
+  "CONFIG_SWIOTLB" = "y";
+  "CONFIG_IOMMU_HELPER" = "y";
+  "CONFIG_NR_CPUS" = "8";
+  "CONFIG_SCHED_SMT" = "y";
+  "CONFIG_SCHED_MC" = "y";
+  "CONFIG_PREEMPT" = "y";
+  "CONFIG_PREEMPT_COUNT" = "y";
+  "CONFIG_X86_LOCAL_APIC" = "y";
+  "CONFIG_X86_IO_APIC" = "y";
+  "CONFIG_X86_MCE" = "y";
+  "CONFIG_X86_MCE_INTEL" = "y";
+  "CONFIG_X86_MCE_THRESHOLD" = "y";
+  "CONFIG_X86_THERMAL_VECTOR" = "y";
+  "CONFIG_MICROCODE" = "y";
+  "CONFIG_MICROCODE_INTEL" = "y";
+  "CONFIG_MICROCODE_OLD_INTERFACE" = "y";
+  "CONFIG_X86_MSR" = "m";
+  "CONFIG_X86_CPUID" = "m";
+  "CONFIG_ARCH_PHYS_ADDR_T_64BIT" = "y";
+  "CONFIG_ARCH_DMA_ADDR_T_64BIT" = "y";
+  "CONFIG_DIRECT_GBPAGES" = "y";
+  "CONFIG_NUMA" = "y";
+  "CONFIG_X86_64_ACPI_NUMA" = "y";
+  "CONFIG_NODES_SPAN_OTHER_NODES" = "y";
+  "CONFIG_NODES_SHIFT" = "6";
+  "CONFIG_ARCH_SPARSEMEM_ENABLE" = "y";
+  "CONFIG_ARCH_SPARSEMEM_DEFAULT" = "y";
+  "CONFIG_ARCH_SELECT_MEMORY_MODEL" = "y";
+  "CONFIG_ILLEGAL_POINTER_VALUE" = "0xdead000000000000";
+  "CONFIG_SELECT_MEMORY_MODEL" = "y";
+  "CONFIG_SPARSEMEM_MANUAL" = "y";
+  "CONFIG_SPARSEMEM" = "y";
+  "CONFIG_NEED_MULTIPLE_NODES" = "y";
+  "CONFIG_HAVE_MEMORY_PRESENT" = "y";
+  "CONFIG_SPARSEMEM_EXTREME" = "y";
+  "CONFIG_SPARSEMEM_VMEMMAP_ENABLE" = "y";
+  "CONFIG_SPARSEMEM_ALLOC_MEM_MAP_TOGETHER" = "y";
+  "CONFIG_SPARSEMEM_VMEMMAP" = "y";
+  "CONFIG_HAVE_MEMBLOCK" = "y";
+  "CONFIG_HAVE_MEMBLOCK_NODE_MAP" = "y";
+  "CONFIG_ARCH_DISCARD_MEMBLOCK" = "y";
+  "CONFIG_PAGEFLAGS_EXTENDED" = "y";
+  "CONFIG_SPLIT_PTLOCK_CPUS" = "4";
+  "CONFIG_BALLOON_COMPACTION" = "y";
+  "CONFIG_COMPACTION" = "y";
+  "CONFIG_MIGRATION" = "y";
+  "CONFIG_PHYS_ADDR_T_64BIT" = "y";
+  "CONFIG_ZONE_DMA_FLAG" = "1";
+  "CONFIG_BOUNCE" = "y";
+  "CONFIG_VIRT_TO_BUS" = "y";
+  "CONFIG_MMU_NOTIFIER" = "y";
+  "CONFIG_KSM" = "y";
+  "CONFIG_DEFAULT_MMAP_MIN_ADDR" = "65536";
+  "CONFIG_ARCH_SUPPORTS_MEMORY_FAILURE" = "y";
+  "CONFIG_TRANSPARENT_HUGEPAGE" = "y";
+  "CONFIG_TRANSPARENT_HUGEPAGE_ALWAYS" = "y";
+  "CONFIG_CROSS_MEMORY_ATTACH" = "y";
+  "CONFIG_CLEANCACHE" = "y";
+  "CONFIG_FRONTSWAP" = "y";
+  "CONFIG_X86_RESERVE_LOW" = "64";
+  "CONFIG_MTRR" = "y";
+  "CONFIG_MTRR_SANITIZER" = "y";
+  "CONFIG_MTRR_SANITIZER_ENABLE_DEFAULT" = "0";
+  "CONFIG_MTRR_SANITIZER_SPARE_REG_NR_DEFAULT" = "1";
+  "CONFIG_X86_PAT" = "y";
+  "CONFIG_ARCH_USES_PG_UNCACHED" = "y";
+  "CONFIG_ARCH_RANDOM" = "y";
+  "CONFIG_X86_SMAP" = "y";
+  "CONFIG_SECCOMP" = "y";
+  "CONFIG_HZ_1000" = "y";
+  "CONFIG_HZ" = "1000";
+  "CONFIG_SCHED_HRTICK" = "y";
+  "CONFIG_KEXEC" = "y";
+  "CONFIG_PHYSICAL_START" = "0x1000000";
+  "CONFIG_PHYSICAL_ALIGN" = "0x1000000";
+  "CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG" = "y";
+  "CONFIG_USE_PERCPU_NUMA_NODE_ID" = "y";
+  "CONFIG_ACPI" = "y";
+  "CONFIG_ACPI_BUTTON" = "y";
+  "CONFIG_ACPI_VIDEO" = "y";
+  "CONFIG_ACPI_FAN" = "y";
+  "CONFIG_ACPI_DOCK" = "y";
+  "CONFIG_ACPI_I2C" = "y";
+  "CONFIG_ACPI_PROCESSOR" = "y";
+  "CONFIG_ACPI_THERMAL" = "y";
+  "CONFIG_ACPI_NUMA" = "y";
+  "CONFIG_ACPI_CUSTOM_DSDT_FILE" = "";
+  "CONFIG_ACPI_BLACKLIST_YEAR" = "0";
+  "CONFIG_X86_PM_TIMER" = "y";
+  "CONFIG_ACPI_HED" = "y";
+  "CONFIG_CPU_IDLE" = "y";
+  "CONFIG_CPU_IDLE_GOV_LADDER" = "y";
+  "CONFIG_CPU_IDLE_GOV_MENU" = "y";
+  "CONFIG_INTEL_IDLE" = "y";
+  "CONFIG_PCI" = "y";
+  "CONFIG_PCI_DIRECT" = "y";
+  "CONFIG_PCI_MMCONFIG" = "y";
+  "CONFIG_PCI_DOMAINS" = "y";
+  "CONFIG_PCIEPORTBUS" = "y";
+  "CONFIG_PCIEAER" = "y";
+  "CONFIG_PCIEASPM" = "y";
+  "CONFIG_PCIEASPM_PERFORMANCE" = "y";
+  "CONFIG_ARCH_SUPPORTS_MSI" = "y";
+  "CONFIG_PCI_MSI" = "y";
+  "CONFIG_HT_IRQ" = "y";
+  "CONFIG_PCI_LABEL" = "y";
+  "CONFIG_ISA_DMA_API" = "y";
+  "CONFIG_AMD_NB" = "y";
+  "CONFIG_BINFMT_ELF" = "y";
+  "CONFIG_COMPAT_BINFMT_ELF" = "y";
+  "CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE" = "y";
+  "CONFIG_BINFMT_MISC" = "y";
+  "CONFIG_COREDUMP" = "y";
+  "CONFIG_IA32_EMULATION" = "y";
+  "CONFIG_X86_X32" = "y";
+  "CONFIG_COMPAT" = "y";
+  "CONFIG_COMPAT_FOR_U64_ALIGNMENT" = "y";
+  "CONFIG_SYSVIPC_COMPAT" = "y";
+  "CONFIG_KEYS_COMPAT" = "y";
+  "CONFIG_HAVE_TEXT_POKE_SMP" = "y";
+  "CONFIG_X86_DEV_DMA_OPS" = "y";
+  "CONFIG_NET" = "y";
+  "CONFIG_PACKET" = "y";
+  "CONFIG_PACKET_DIAG" = "m";
+  "CONFIG_UNIX" = "y";
+  "CONFIG_UNIX_DIAG" = "y";
+  "CONFIG_XFRM" = "y";
+  "CONFIG_XFRM_ALGO" = "y";
+  "CONFIG_NET_KEY" = "y";
+  "CONFIG_INET" = "y";
+  "CONFIG_IP_MULTICAST" = "y";
+  "CONFIG_IP_ROUTE_CLASSID" = "y";
+  "CONFIG_INET_TUNNEL" = "m";
+  "CONFIG_INET_LRO" = "y";
+  "CONFIG_INET_DIAG" = "y";
+  "CONFIG_INET_TCP_DIAG" = "y";
+  "CONFIG_INET_UDP_DIAG" = "y";
+  "CONFIG_TCP_CONG_CUBIC" = "y";
+  "CONFIG_DEFAULT_TCP_CONG" = "cubic";
+  "CONFIG_IPV6" = "y";
+  "CONFIG_IPV6_PRIVACY" = "y";
+  "CONFIG_IPV6_ROUTER_PREF" = "y";
+  "CONFIG_INET6_TUNNEL" = "m";
+  "CONFIG_IPV6_SIT" = "m";
+  "CONFIG_IPV6_NDISC_NODETYPE" = "y";
+  "CONFIG_IPV6_TUNNEL" = "m";
+  "CONFIG_IPV6_GRE" = "m";
+  "CONFIG_HAVE_NET_DSA" = "y";
+  "CONFIG_NET_SCHED" = "y";
+  "CONFIG_NET_SCH_CBQ" = "m";
+  "CONFIG_NET_SCH_HTB" = "m";
+  "CONFIG_NET_SCH_HFSC" = "m";
+  "CONFIG_NET_SCH_PRIO" = "m";
+  "CONFIG_NET_SCH_MULTIQ" = "m";
+  "CONFIG_NET_SCH_RED" = "m";
+  "CONFIG_NET_SCH_SFB" = "m";
+  "CONFIG_NET_SCH_SFQ" = "m";
+  "CONFIG_NET_SCH_TEQL" = "m";
+  "CONFIG_NET_SCH_TBF" = "m";
+  "CONFIG_NET_SCH_GRED" = "m";
+  "CONFIG_NET_SCH_DSMARK" = "m";
+  "CONFIG_NET_SCH_NETEM" = "m";
+  "CONFIG_NET_SCH_DRR" = "m";
+  "CONFIG_NET_SCH_MQPRIO" = "m";
+  "CONFIG_NET_SCH_CHOKE" = "m";
+  "CONFIG_NET_SCH_QFQ" = "m";
+  "CONFIG_NET_SCH_CODEL" = "m";
+  "CONFIG_NET_SCH_FQ_CODEL" = "m";
+  "CONFIG_NET_SCH_INGRESS" = "m";
+  "CONFIG_NET_SCH_PLUG" = "m";
+  "CONFIG_NET_CLS" = "y";
+  "CONFIG_NET_CLS_BASIC" = "m";
+  "CONFIG_NET_CLS_TCINDEX" = "m";
+  "CONFIG_NET_CLS_ROUTE4" = "m";
+  "CONFIG_NET_CLS_FW" = "m";
+  "CONFIG_NET_CLS_U32" = "m";
+  "CONFIG_NET_CLS_RSVP" = "m";
+  "CONFIG_NET_CLS_RSVP6" = "m";
+  "CONFIG_NET_CLS_FLOW" = "m";
+  "CONFIG_NET_CLS_CGROUP" = "m";
+  "CONFIG_NET_EMATCH" = "y";
+  "CONFIG_NET_EMATCH_STACK" = "32";
+  "CONFIG_NET_EMATCH_CMP" = "m";
+  "CONFIG_NET_EMATCH_NBYTE" = "m";
+  "CONFIG_NET_EMATCH_U32" = "m";
+  "CONFIG_NET_EMATCH_META" = "m";
+  "CONFIG_NET_EMATCH_TEXT" = "m";
+  "CONFIG_NET_CLS_ACT" = "y";
+  "CONFIG_NET_ACT_POLICE" = "m";
+  "CONFIG_NET_ACT_GACT" = "m";
+  "CONFIG_NET_ACT_MIRRED" = "m";
+  "CONFIG_NET_ACT_NAT" = "m";
+  "CONFIG_NET_ACT_PEDIT" = "m";
+  "CONFIG_NET_ACT_SIMP" = "m";
+  "CONFIG_NET_ACT_SKBEDIT" = "m";
+  "CONFIG_NET_ACT_CSUM" = "m";
+  "CONFIG_NET_SCH_FIFO" = "y";
+  "CONFIG_DNS_RESOLVER" = "y";
+  "CONFIG_RPS" = "y";
+  "CONFIG_RFS_ACCEL" = "y";
+  "CONFIG_XPS" = "y";
+  "CONFIG_NETPRIO_CGROUP" = "m";
+  "CONFIG_BQL" = "y";
+  "CONFIG_BPF_JIT" = "y";
+  "CONFIG_HAVE_BPF_JIT" = "y";
+  "CONFIG_UEVENT_HELPER_PATH" = "";
+  "CONFIG_DEVTMPFS" = "y";
+  "CONFIG_DEVTMPFS_MOUNT" = "y";
+  "CONFIG_FW_LOADER" = "y";
+  "CONFIG_EXTRA_FIRMWARE" = "";
+  "CONFIG_DMA_SHARED_BUFFER" = "y";
+  "CONFIG_CONNECTOR" = "y";
+  "CONFIG_PROC_EVENTS" = "y";
+  "CONFIG_PNP" = "y";
+  "CONFIG_PNPACPI" = "y";
+  "CONFIG_BLK_DEV" = "y";
+  "CONFIG_BLK_DEV_LOOP" = "y";
+  "CONFIG_BLK_DEV_LOOP_MIN_COUNT" = "0";
+  "CONFIG_BLK_DEV_CRYPTOLOOP" = "m";
+  "CONFIG_CDROM_PKTCDVD" = "y";
+  "CONFIG_CDROM_PKTCDVD_BUFFERS" = "8";
+  "CONFIG_VIRTIO_BLK" = "m";
+  "CONFIG_EEPROM_AT24" = "m";
+  "CONFIG_EEPROM_93CX6" = "m";
+  "CONFIG_HAVE_IDE" = "y";
+  "CONFIG_SCSI_MOD" = "y";
+  "CONFIG_SCSI" = "y";
+  "CONFIG_SCSI_DMA" = "y";
+  "CONFIG_BLK_DEV_SD" = "y";
+  "CONFIG_BLK_DEV_SR" = "y";
+  "CONFIG_CHR_DEV_SG" = "y";
+  "CONFIG_ATA" = "y";
+  "CONFIG_ATA_ACPI" = "y";
+  "CONFIG_SATA_AHCI" = "y";
+  "CONFIG_MD" = "y";
+  "CONFIG_BLK_DEV_DM" = "y";
+  "CONFIG_DM_CRYPT" = "y";
+  "CONFIG_DM_UEVENT" = "y";
+  "CONFIG_NETDEVICES" = "y";
+  "CONFIG_NET_CORE" = "y";
+  "CONFIG_MII" = "y";
+  "CONFIG_VXLAN" = "m";
+  "CONFIG_VIRTIO_NET" = "m";
+  "CONFIG_ETHERNET" = "y";
+  "CONFIG_NET_VENDOR_INTEL" = "y";
+  "CONFIG_E1000E" = "y";
+  "CONFIG_INPUT" = "y";
+  "CONFIG_INPUT_FF_MEMLESS" = "y";
+  "CONFIG_INPUT_MATRIXKMAP" = "m";
+  "CONFIG_INPUT_MOUSEDEV" = "y";
+  "CONFIG_INPUT_MOUSEDEV_SCREEN_X" = "1024";
+  "CONFIG_INPUT_MOUSEDEV_SCREEN_Y" = "768";
+  "CONFIG_INPUT_JOYDEV" = "y";
+  "CONFIG_INPUT_EVDEV" = "y";
+  "CONFIG_INPUT_KEYBOARD" = "y";
+  "CONFIG_KEYBOARD_ATKBD" = "y";
+  "CONFIG_INPUT_MOUSE" = "y";
+  "CONFIG_SERIO" = "y";
+  "CONFIG_SERIO_I8042" = "y";
+  "CONFIG_SERIO_LIBPS2" = "y";
+  "CONFIG_VT" = "y";
+  "CONFIG_CONSOLE_TRANSLATIONS" = "y";
+  "CONFIG_VT_CONSOLE" = "y";
+  "CONFIG_HW_CONSOLE" = "y";
+  "CONFIG_UNIX98_PTYS" = "y";
+  "CONFIG_DEVKMEM" = "y";
+  "CONFIG_FIX_EARLYCON_MEM" = "y";
+  "CONFIG_HVC_DRIVER" = "y";
+  "CONFIG_VIRTIO_CONSOLE" = "m";
+  "CONFIG_NVRAM" = "m";
+  "CONFIG_HPET" = "y";
+  "CONFIG_HPET_MMAP" = "y";
+  "CONFIG_HANGCHECK_TIMER" = "m";
+  "CONFIG_DEVPORT" = "y";
+  "CONFIG_I2C" = "y";
+  "CONFIG_I2C_BOARDINFO" = "y";
+  "CONFIG_I2C_CHARDEV" = "y";
+  "CONFIG_I2C_HELPER_AUTO" = "y";
+  "CONFIG_I2C_ALGOBIT" = "y";
+  "CONFIG_I2C_I801" = "y";
+  "CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB" = "y";
+  "CONFIG_POWER_SUPPLY" = "y";
+  "CONFIG_HWMON" = "y";
+  "CONFIG_SENSORS_CORETEMP" = "y";
+  "CONFIG_THERMAL" = "y";
+  "CONFIG_THERMAL_HWMON" = "y";
+  "CONFIG_THERMAL_DEFAULT_GOV_STEP_WISE" = "y";
+  "CONFIG_STEP_WISE" = "y";
+  "CONFIG_SSB_POSSIBLE" = "y";
+  "CONFIG_BCMA_POSSIBLE" = "y";
+  "CONFIG_MFD_CORE" = "y";
+  "CONFIG_LPC_ICH" = "y";
+  "CONFIG_MEDIA_SUPPORT" = "y";
+  "CONFIG_MEDIA_CAMERA_SUPPORT" = "y";
+  "CONFIG_VIDEO_DEV" = "y";
+  "CONFIG_VIDEO_V4L2" = "y";
+  "CONFIG_VIDEOBUF2_CORE" = "m";
+  "CONFIG_VIDEOBUF2_MEMOPS" = "m";
+  "CONFIG_VIDEOBUF2_VMALLOC" = "m";
+  "CONFIG_MEDIA_USB_SUPPORT" = "y";
+  "CONFIG_USB_VIDEO_CLASS" = "m";
+  "CONFIG_USB_VIDEO_CLASS_INPUT_EVDEV" = "y";
+  "CONFIG_MEDIA_SUBDRV_AUTOSELECT" = "y";
+  "CONFIG_AGP" = "y";
+  "CONFIG_AGP_INTEL" = "y";
+  "CONFIG_VGA_ARB" = "y";
+  "CONFIG_VGA_ARB_MAX_GPUS" = "16";
+  "CONFIG_DRM" = "y";
+  "CONFIG_DRM_KMS_HELPER" = "y";
+  "CONFIG_DRM_TTM" = "y";
+  "CONFIG_DRM_NOUVEAU" = "y";
+  "CONFIG_NOUVEAU_DEBUG" = "5";
+  "CONFIG_NOUVEAU_DEBUG_DEFAULT" = "3";
+  "CONFIG_DRM_NOUVEAU_BACKLIGHT" = "y";
+  "CONFIG_DRM_I2C_CH7006" = "m";
+  "CONFIG_DRM_I2C_SIL164" = "m";
+  "CONFIG_VIDEO_OUTPUT_CONTROL" = "y";
+  "CONFIG_FB" = "y";
+  "CONFIG_FB_CFB_FILLRECT" = "y";
+  "CONFIG_FB_CFB_COPYAREA" = "y";
+  "CONFIG_FB_CFB_IMAGEBLIT" = "y";
+  "CONFIG_FB_BACKLIGHT" = "y";
+  "CONFIG_FB_MODE_HELPERS" = "y";
+  "CONFIG_FB_TILEBLITTING" = "y";
+  "CONFIG_BACKLIGHT_LCD_SUPPORT" = "y";
+  "CONFIG_BACKLIGHT_CLASS_DEVICE" = "y";
+  "CONFIG_VGA_CONSOLE" = "y";
+  "CONFIG_VGACON_SOFT_SCROLLBACK" = "y";
+  "CONFIG_VGACON_SOFT_SCROLLBACK_SIZE" = "1024";
+  "CONFIG_DUMMY_CONSOLE" = "y";
+  "CONFIG_FRAMEBUFFER_CONSOLE" = "y";
+  "CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY" = "y";
+  "CONFIG_FONT_8x8" = "y";
+  "CONFIG_FONT_8x16" = "y";
+  "CONFIG_SOUND" = "y";
+  "CONFIG_SOUND_OSS_CORE" = "y";
+  "CONFIG_SOUND_OSS_CORE_PRECLAIM" = "y";
+  "CONFIG_SND" = "y";
+  "CONFIG_SND_TIMER" = "y";
+  "CONFIG_SND_PCM" = "y";
+  "CONFIG_SND_HWDEP" = "y";
+  "CONFIG_SND_RAWMIDI" = "y";
+  "CONFIG_SND_JACK" = "y";
+  "CONFIG_SND_SEQUENCER" = "y";
+  "CONFIG_SND_SEQ_DUMMY" = "m";
+  "CONFIG_SND_OSSEMUL" = "y";
+  "CONFIG_SND_MIXER_OSS" = "y";
+  "CONFIG_SND_PCM_OSS" = "y";
+  "CONFIG_SND_PCM_OSS_PLUGINS" = "y";
+  "CONFIG_SND_SEQUENCER_OSS" = "y";
+  "CONFIG_SND_HRTIMER" = "y";
+  "CONFIG_SND_SEQ_HRTIMER_DEFAULT" = "y";
+  "CONFIG_SND_DYNAMIC_MINORS" = "y";
+  "CONFIG_SND_VMASTER" = "y";
+  "CONFIG_SND_KCTL_JACK" = "y";
+  "CONFIG_SND_DMA_SGBUF" = "y";
+  "CONFIG_SND_RAWMIDI_SEQ" = "y";
+  "CONFIG_SND_PCI" = "y";
+  "CONFIG_SND_HDA_INTEL" = "y";
+  "CONFIG_SND_HDA_PREALLOC_SIZE" = "64";
+  "CONFIG_SND_HDA_INPUT_BEEP" = "y";
+  "CONFIG_SND_HDA_INPUT_BEEP_MODE" = "0";
+  "CONFIG_SND_HDA_INPUT_JACK" = "y";
+  "CONFIG_SND_HDA_CODEC_REALTEK" = "y";
+  "CONFIG_SND_HDA_GENERIC" = "y";
+  "CONFIG_SND_USB" = "y";
+  "CONFIG_SND_USB_AUDIO" = "y";
+  "CONFIG_HID" = "y";
+  "CONFIG_HIDRAW" = "y";
+  "CONFIG_UHID" = "m";
+  "CONFIG_HID_GENERIC" = "y";
+  "CONFIG_HID_A4TECH" = "y";
+  "CONFIG_HID_APPLE" = "y";
+  "CONFIG_HID_BELKIN" = "y";
+  "CONFIG_HID_CHERRY" = "y";
+  "CONFIG_HID_CHICONY" = "y";
+  "CONFIG_HID_CYPRESS" = "y";
+  "CONFIG_HID_EZKEY" = "y";
+  "CONFIG_HID_KENSINGTON" = "y";
+  "CONFIG_HID_LOGITECH" = "y";
+  "CONFIG_HID_MICROSOFT" = "y";
+  "CONFIG_HID_MONTEREY" = "y";
+  "CONFIG_HID_GREENASIA" = "y";
+  "CONFIG_GREENASIA_FF" = "y";
+  "CONFIG_HID_SENSOR_HUB" = "m";
+  "CONFIG_USB_HID" = "y";
+  "CONFIG_USB_HIDDEV" = "y";
+  "CONFIG_USB_ARCH_HAS_OHCI" = "y";
+  "CONFIG_USB_ARCH_HAS_EHCI" = "y";
+  "CONFIG_USB_ARCH_HAS_XHCI" = "y";
+  "CONFIG_USB_SUPPORT" = "y";
+  "CONFIG_USB_COMMON" = "y";
+  "CONFIG_USB_ARCH_HAS_HCD" = "y";
+  "CONFIG_USB" = "y";
+  "CONFIG_USB_ANNOUNCE_NEW_DEVICES" = "y";
+  "CONFIG_USB_MON" = "m";
+  "CONFIG_USB_EHCI_HCD" = "y";
+  "CONFIG_USB_EHCI_ROOT_HUB_TT" = "y";
+  "CONFIG_USB_EHCI_TT_NEWSCHED" = "y";
+  "CONFIG_USB_EHCI_PCI" = "y";
+  "CONFIG_USB_UHCI_HCD" = "y";
+  "CONFIG_USB_STORAGE" = "y";
+  "CONFIG_USB_STORAGE_REALTEK" = "m";
+  "CONFIG_USB_STORAGE_DATAFAB" = "m";
+  "CONFIG_USB_STORAGE_FREECOM" = "m";
+  "CONFIG_USB_STORAGE_ISD200" = "m";
+  "CONFIG_USB_STORAGE_USBAT" = "m";
+  "CONFIG_USB_STORAGE_SDDR09" = "m";
+  "CONFIG_USB_STORAGE_SDDR55" = "m";
+  "CONFIG_USB_STORAGE_JUMPSHOT" = "m";
+  "CONFIG_USB_STORAGE_ALAUDA" = "m";
+  "CONFIG_USB_STORAGE_ONETOUCH" = "m";
+  "CONFIG_USB_STORAGE_KARMA" = "m";
+  "CONFIG_USB_STORAGE_CYPRESS_ATACB" = "m";
+  "CONFIG_USB_STORAGE_ENE_UB6250" = "m";
+  "CONFIG_USB_MDC800" = "m";
+  "CONFIG_USB_MICROTEK" = "m";
+  "CONFIG_USB_SERIAL" = "m";
+  "CONFIG_USB_SERIAL_GENERIC" = "y";
+  "CONFIG_USB_SERIAL_AIRCABLE" = "m";
+  "CONFIG_USB_SERIAL_ARK3116" = "m";
+  "CONFIG_USB_SERIAL_BELKIN" = "m";
+  "CONFIG_USB_SERIAL_CH341" = "m";
+  "CONFIG_USB_SERIAL_WHITEHEAT" = "m";
+  "CONFIG_USB_SERIAL_DIGI_ACCELEPORT" = "m";
+  "CONFIG_USB_SERIAL_CP210X" = "m";
+  "CONFIG_USB_SERIAL_CYPRESS_M8" = "m";
+  "CONFIG_USB_SERIAL_EMPEG" = "m";
+  "CONFIG_USB_SERIAL_FTDI_SIO" = "m";
+  "CONFIG_USB_SERIAL_FUNSOFT" = "m";
+  "CONFIG_USB_SERIAL_VISOR" = "m";
+  "CONFIG_USB_SERIAL_IPAQ" = "m";
+  "CONFIG_USB_SERIAL_IR" = "m";
+  "CONFIG_USB_SERIAL_EDGEPORT" = "m";
+  "CONFIG_USB_SERIAL_EDGEPORT_TI" = "m";
+  "CONFIG_USB_SERIAL_F81232" = "m";
+  "CONFIG_USB_SERIAL_GARMIN" = "m";
+  "CONFIG_USB_SERIAL_IPW" = "m";
+  "CONFIG_USB_SERIAL_IUU" = "m";
+  "CONFIG_USB_SERIAL_KEYSPAN_PDA" = "m";
+  "CONFIG_USB_SERIAL_KEYSPAN" = "m";
+  "CONFIG_USB_SERIAL_KLSI" = "m";
+  "CONFIG_USB_SERIAL_KOBIL_SCT" = "m";
+  "CONFIG_USB_SERIAL_MCT_U232" = "m";
+  "CONFIG_USB_SERIAL_METRO" = "m";
+  "CONFIG_USB_SERIAL_MOS7720" = "m";
+  "CONFIG_USB_SERIAL_MOS7840" = "m";
+  "CONFIG_USB_SERIAL_MOTOROLA" = "m";
+  "CONFIG_USB_SERIAL_NAVMAN" = "m";
+  "CONFIG_USB_SERIAL_PL2303" = "m";
+  "CONFIG_USB_SERIAL_OTI6858" = "m";
+  "CONFIG_USB_SERIAL_QCAUX" = "m";
+  "CONFIG_USB_SERIAL_QUALCOMM" = "m";
+  "CONFIG_USB_SERIAL_SPCP8X5" = "m";
+  "CONFIG_USB_SERIAL_HP4X" = "m";
+  "CONFIG_USB_SERIAL_SAFE" = "m";
+  "CONFIG_USB_SERIAL_SIEMENS_MPI" = "m";
+  "CONFIG_USB_SERIAL_SIERRAWIRELESS" = "m";
+  "CONFIG_USB_SERIAL_SYMBOL" = "m";
+  "CONFIG_USB_SERIAL_TI" = "m";
+  "CONFIG_USB_SERIAL_CYBERJACK" = "m";
+  "CONFIG_USB_SERIAL_XIRCOM" = "m";
+  "CONFIG_USB_SERIAL_WWAN" = "m";
+  "CONFIG_USB_SERIAL_OPTION" = "m";
+  "CONFIG_USB_SERIAL_OMNINET" = "m";
+  "CONFIG_USB_SERIAL_OPTICON" = "m";
+  "CONFIG_USB_SERIAL_VIVOPAY_SERIAL" = "m";
+  "CONFIG_USB_SERIAL_ZIO" = "m";
+  "CONFIG_USB_SERIAL_ZTE" = "m";
+  "CONFIG_USB_SERIAL_SSU100" = "m";
+  "CONFIG_USB_SERIAL_QT2" = "m";
+  "CONFIG_USB_EZUSB_FX2" = "m";
+  "CONFIG_USB_GADGET" = "m";
+  "CONFIG_USB_GADGET_VBUS_DRAW" = "2";
+  "CONFIG_USB_GADGET_STORAGE_NUM_BUFFERS" = "2";
+  "CONFIG_USB_R8A66597" = "m";
+  "CONFIG_USB_M66592" = "m";
+  "CONFIG_USB_AMD5536UDC" = "m";
+  "CONFIG_USB_NET2272" = "m";
+  "CONFIG_USB_NET2280" = "m";
+  "CONFIG_USB_GOKU" = "m";
+  "CONFIG_USB_EG20T" = "m";
+  "CONFIG_USB_DUMMY_HCD" = "m";
+  "CONFIG_USB_LIBCOMPOSITE" = "m";
+  "CONFIG_USB_AUDIO" = "m";
+  "CONFIG_USB_ETH" = "m";
+  "CONFIG_USB_ETH_RNDIS" = "y";
+  "CONFIG_USB_G_NCM" = "m";
+  "CONFIG_USB_GADGETFS" = "m";
+  "CONFIG_USB_FUNCTIONFS" = "m";
+  "CONFIG_USB_FUNCTIONFS_GENERIC" = "y";
+  "CONFIG_USB_MASS_STORAGE" = "m";
+  "CONFIG_USB_G_SERIAL" = "m";
+  "CONFIG_USB_MIDI_GADGET" = "m";
+  "CONFIG_USB_G_PRINTER" = "m";
+  "CONFIG_USB_CDC_COMPOSITE" = "m";
+  "CONFIG_USB_G_MULTI" = "m";
+  "CONFIG_USB_G_MULTI_RNDIS" = "y";
+  "CONFIG_USB_G_HID" = "m";
+  "CONFIG_RTC_LIB" = "y";
+  "CONFIG_RTC_CLASS" = "y";
+  "CONFIG_RTC_HCTOSYS" = "y";
+  "CONFIG_RTC_HCTOSYS_DEVICE" = "rtc0";
+  "CONFIG_RTC_INTF_SYSFS" = "y";
+  "CONFIG_RTC_INTF_PROC" = "y";
+  "CONFIG_RTC_INTF_DEV" = "y";
+  "CONFIG_RTC_DRV_CMOS" = "y";
+  "CONFIG_VIRTIO" = "m";
+  "CONFIG_VIRTIO_PCI" = "m";
+  "CONFIG_VIRTIO_BALLOON" = "m";
+  "CONFIG_VIRTIO_MMIO" = "m";
+  "CONFIG_X86_PLATFORM_DEVICES" = "y";
+  "CONFIG_ACPI_WMI" = "y";
+  "CONFIG_MXM_WMI" = "y";
+  "CONFIG_CLKEVT_I8253" = "y";
+  "CONFIG_I8253_LOCK" = "y";
+  "CONFIG_CLKBLD_I8253" = "y";
+  "CONFIG_VIRT_DRIVERS" = "y";
+  "CONFIG_EXTCON" = "m";
+  "CONFIG_FIRMWARE_MEMMAP" = "y";
+  "CONFIG_DMIID" = "y";
+  "CONFIG_DMI_SYSFS" = "m";
+  "CONFIG_DCACHE_WORD_ACCESS" = "y";
+  "CONFIG_EXT2_FS" = "y";
+  "CONFIG_EXT2_FS_XATTR" = "y";
+  "CONFIG_EXT2_FS_POSIX_ACL" = "y";
+  "CONFIG_FS_MBCACHE" = "y";
+  "CONFIG_BTRFS_FS" = "y";
+  "CONFIG_BTRFS_FS_POSIX_ACL" = "y";
+  "CONFIG_FS_POSIX_ACL" = "y";
+  "CONFIG_EXPORTFS" = "y";
+  "CONFIG_FILE_LOCKING" = "y";
+  "CONFIG_FSNOTIFY" = "y";
+  "CONFIG_DNOTIFY" = "y";
+  "CONFIG_INOTIFY_USER" = "y";
+  "CONFIG_FANOTIFY" = "y";
+  "CONFIG_AUTOFS4_FS" = "y";
+  "CONFIG_FUSE_FS" = "y";
+  "CONFIG_CUSE" = "m";
+  "CONFIG_GENERIC_ACL" = "y";
+  "CONFIG_ISO9660_FS" = "y";
+  "CONFIG_JOLIET" = "y";
+  "CONFIG_ZISOFS" = "y";
+  "CONFIG_UDF_FS" = "y";
+  "CONFIG_UDF_NLS" = "y";
+  "CONFIG_FAT_FS" = "m";
+  "CONFIG_MSDOS_FS" = "m";
+  "CONFIG_VFAT_FS" = "m";
+  "CONFIG_FAT_DEFAULT_CODEPAGE" = "437";
+  "CONFIG_FAT_DEFAULT_IOCHARSET" = "utf8";
+  "CONFIG_NTFS_FS" = "m";
+  "CONFIG_NTFS_RW" = "y";
+  "CONFIG_PROC_FS" = "y";
+  "CONFIG_PROC_SYSCTL" = "y";
+  "CONFIG_PROC_PAGE_MONITOR" = "y";
+  "CONFIG_SYSFS" = "y";
+  "CONFIG_TMPFS" = "y";
+  "CONFIG_TMPFS_POSIX_ACL" = "y";
+  "CONFIG_TMPFS_XATTR" = "y";
+  "CONFIG_CONFIGFS_FS" = "y";
+  "CONFIG_MISC_FILESYSTEMS" = "y";
+  "CONFIG_ECRYPT_FS" = "m";
+  "CONFIG_SQUASHFS" = "m";
+  "CONFIG_SQUASHFS_XATTR" = "y";
+  "CONFIG_SQUASHFS_ZLIB" = "y";
+  "CONFIG_SQUASHFS_LZO" = "y";
+  "CONFIG_SQUASHFS_XZ" = "y";
+  "CONFIG_SQUASHFS_FRAGMENT_CACHE_SIZE" = "3";
+  "CONFIG_NETWORK_FILESYSTEMS" = "y";
+  "CONFIG_NFS_FS" = "y";
+  "CONFIG_NFS_V3" = "y";
+  "CONFIG_NFS_V3_ACL" = "y";
+  "CONFIG_NFS_V4" = "y";
+  "CONFIG_NFS_USE_KERNEL_DNS" = "y";
+  "CONFIG_NFSD" = "y";
+  "CONFIG_NFSD_V2_ACL" = "y";
+  "CONFIG_NFSD_V3" = "y";
+  "CONFIG_NFSD_V3_ACL" = "y";
+  "CONFIG_NFSD_V4" = "y";
+  "CONFIG_LOCKD" = "y";
+  "CONFIG_LOCKD_V4" = "y";
+  "CONFIG_NFS_ACL_SUPPORT" = "y";
+  "CONFIG_NFS_COMMON" = "y";
+  "CONFIG_SUNRPC" = "y";
+  "CONFIG_SUNRPC_GSS" = "y";
+  "CONFIG_RPCSEC_GSS_KRB5" = "m";
+  "CONFIG_CIFS" = "y";
+  "CONFIG_CIFS_XATTR" = "y";
+  "CONFIG_CIFS_POSIX" = "y";
+  "CONFIG_NLS" = "y";
+  "CONFIG_NLS_DEFAULT" = "ascii";
+  "CONFIG_NLS_CODEPAGE_437" = "m";
+  "CONFIG_NLS_CODEPAGE_737" = "m";
+  "CONFIG_NLS_CODEPAGE_775" = "m";
+  "CONFIG_NLS_CODEPAGE_850" = "m";
+  "CONFIG_NLS_CODEPAGE_852" = "m";
+  "CONFIG_NLS_CODEPAGE_855" = "m";
+  "CONFIG_NLS_CODEPAGE_857" = "m";
+  "CONFIG_NLS_CODEPAGE_860" = "m";
+  "CONFIG_NLS_CODEPAGE_861" = "m";
+  "CONFIG_NLS_CODEPAGE_862" = "m";
+  "CONFIG_NLS_CODEPAGE_863" = "m";
+  "CONFIG_NLS_CODEPAGE_864" = "m";
+  "CONFIG_NLS_CODEPAGE_865" = "m";
+  "CONFIG_NLS_CODEPAGE_866" = "m";
+  "CONFIG_NLS_CODEPAGE_869" = "m";
+  "CONFIG_NLS_CODEPAGE_936" = "m";
+  "CONFIG_NLS_CODEPAGE_950" = "m";
+  "CONFIG_NLS_CODEPAGE_932" = "m";
+  "CONFIG_NLS_CODEPAGE_949" = "m";
+  "CONFIG_NLS_CODEPAGE_874" = "m";
+  "CONFIG_NLS_ISO8859_8" = "m";
+  "CONFIG_NLS_CODEPAGE_1250" = "m";
+  "CONFIG_NLS_CODEPAGE_1251" = "m";
+  "CONFIG_NLS_ASCII" = "y";
+  "CONFIG_NLS_ISO8859_1" = "m";
+  "CONFIG_NLS_ISO8859_2" = "m";
+  "CONFIG_NLS_ISO8859_3" = "m";
+  "CONFIG_NLS_ISO8859_4" = "m";
+  "CONFIG_NLS_ISO8859_5" = "m";
+  "CONFIG_NLS_ISO8859_6" = "m";
+  "CONFIG_NLS_ISO8859_7" = "m";
+  "CONFIG_NLS_ISO8859_9" = "m";
+  "CONFIG_NLS_ISO8859_13" = "m";
+  "CONFIG_NLS_ISO8859_14" = "m";
+  "CONFIG_NLS_ISO8859_15" = "m";
+  "CONFIG_NLS_KOI8_R" = "m";
+  "CONFIG_NLS_KOI8_U" = "m";
+  "CONFIG_NLS_MAC_ROMAN" = "m";
+  "CONFIG_NLS_MAC_CELTIC" = "m";
+  "CONFIG_NLS_MAC_CENTEURO" = "m";
+  "CONFIG_NLS_MAC_CROATIAN" = "m";
+  "CONFIG_NLS_MAC_CYRILLIC" = "m";
+  "CONFIG_NLS_MAC_GAELIC" = "m";
+  "CONFIG_NLS_MAC_GREEK" = "m";
+  "CONFIG_NLS_MAC_ICELAND" = "m";
+  "CONFIG_NLS_MAC_INUIT" = "m";
+  "CONFIG_NLS_MAC_ROMANIAN" = "m";
+  "CONFIG_NLS_MAC_TURKISH" = "m";
+  "CONFIG_NLS_UTF8" = "y";
+  "CONFIG_TRACE_IRQFLAGS_SUPPORT" = "y";
+  "CONFIG_DEFAULT_MESSAGE_LOGLEVEL" = "4";
+  "CONFIG_FRAME_WARN" = "2048";
+  "CONFIG_MAGIC_SYSRQ" = "y";
+  "CONFIG_PANIC_ON_OOPS_VALUE" = "0";
+  "CONFIG_HAVE_DEBUG_KMEMLEAK" = "y";
+  "CONFIG_DEBUG_BUGVERBOSE" = "y";
+  "CONFIG_DEBUG_MEMORY_INIT" = "y";
+  "CONFIG_ARCH_WANT_FRAME_POINTERS" = "y";
+  "CONFIG_RCU_CPU_STALL_TIMEOUT" = "60";
+  "CONFIG_USER_STACKTRACE_SUPPORT" = "y";
+  "CONFIG_HAVE_FUNCTION_TRACER" = "y";
+  "CONFIG_HAVE_FUNCTION_GRAPH_TRACER" = "y";
+  "CONFIG_HAVE_FUNCTION_GRAPH_FP_TEST" = "y";
+  "CONFIG_HAVE_FUNCTION_TRACE_MCOUNT_TEST" = "y";
+  "CONFIG_HAVE_DYNAMIC_FTRACE" = "y";
+  "CONFIG_HAVE_FTRACE_MCOUNT_RECORD" = "y";
+  "CONFIG_HAVE_SYSCALL_TRACEPOINTS" = "y";
+  "CONFIG_HAVE_FENTRY" = "y";
+  "CONFIG_HAVE_C_RECORDMCOUNT" = "y";
+  "CONFIG_TRACING_SUPPORT" = "y";
+  "CONFIG_HAVE_ARCH_KGDB" = "y";
+  "CONFIG_HAVE_ARCH_KMEMCHECK" = "y";
+  "CONFIG_TEST_KSTRTOX" = "m";
+  "CONFIG_STRICT_DEVMEM" = "y";
+  "CONFIG_X86_VERBOSE_BOOTUP" = "y";
+  "CONFIG_EARLY_PRINTK" = "y";
+  "CONFIG_HAVE_MMIOTRACE_SUPPORT" = "y";
+  "CONFIG_IO_DELAY_TYPE_0X80" = "0";
+  "CONFIG_IO_DELAY_TYPE_0XED" = "1";
+  "CONFIG_IO_DELAY_TYPE_UDELAY" = "2";
+  "CONFIG_IO_DELAY_TYPE_NONE" = "3";
+  "CONFIG_IO_DELAY_0X80" = "y";
+  "CONFIG_DEFAULT_IO_DELAY_TYPE" = "0";
+  "CONFIG_KEYS" = "y";
+  "CONFIG_ENCRYPTED_KEYS" = "m";
+  "CONFIG_KEYS_DEBUG_PROC_KEYS" = "y";
+  "CONFIG_DEFAULT_SECURITY_DAC" = "y";
+  "CONFIG_DEFAULT_SECURITY" = "";
+  "CONFIG_CRYPTO" = "y";
+  "CONFIG_CRYPTO_ALGAPI" = "y";
+  "CONFIG_CRYPTO_ALGAPI2" = "y";
+  "CONFIG_CRYPTO_AEAD" = "y";
+  "CONFIG_CRYPTO_AEAD2" = "y";
+  "CONFIG_CRYPTO_BLKCIPHER" = "y";
+  "CONFIG_CRYPTO_BLKCIPHER2" = "y";
+  "CONFIG_CRYPTO_HASH" = "y";
+  "CONFIG_CRYPTO_HASH2" = "y";
+  "CONFIG_CRYPTO_RNG" = "y";
+  "CONFIG_CRYPTO_RNG2" = "y";
+  "CONFIG_CRYPTO_PCOMP" = "y";
+  "CONFIG_CRYPTO_PCOMP2" = "y";
+  "CONFIG_CRYPTO_MANAGER" = "y";
+  "CONFIG_CRYPTO_MANAGER2" = "y";
+  "CONFIG_CRYPTO_USER" = "m";
+  "CONFIG_CRYPTO_GF128MUL" = "y";
+  "CONFIG_CRYPTO_NULL" = "m";
+  "CONFIG_CRYPTO_PCRYPT" = "y";
+  "CONFIG_CRYPTO_WORKQUEUE" = "y";
+  "CONFIG_CRYPTO_CRYPTD" = "y";
+  "CONFIG_CRYPTO_AUTHENC" = "m";
+  "CONFIG_CRYPTO_TEST" = "m";
+  "CONFIG_CRYPTO_ABLK_HELPER_X86" = "y";
+  "CONFIG_CRYPTO_GLUE_HELPER_X86" = "y";
+  "CONFIG_CRYPTO_CCM" = "m";
+  "CONFIG_CRYPTO_GCM" = "m";
+  "CONFIG_CRYPTO_SEQIV" = "y";
+  "CONFIG_CRYPTO_CBC" = "y";
+  "CONFIG_CRYPTO_CTR" = "y";
+  "CONFIG_CRYPTO_CTS" = "m";
+  "CONFIG_CRYPTO_ECB" = "y";
+  "CONFIG_CRYPTO_LRW" = "y";
+  "CONFIG_CRYPTO_PCBC" = "y";
+  "CONFIG_CRYPTO_XTS" = "y";
+  "CONFIG_CRYPTO_HMAC" = "y";
+  "CONFIG_CRYPTO_XCBC" = "m";
+  "CONFIG_CRYPTO_VMAC" = "m";
+  "CONFIG_CRYPTO_CRC32C" = "y";
+  "CONFIG_CRYPTO_CRC32C_INTEL" = "y";
+  "CONFIG_CRYPTO_GHASH" = "y";
+  "CONFIG_CRYPTO_MD4" = "y";
+  "CONFIG_CRYPTO_MD5" = "y";
+  "CONFIG_CRYPTO_MICHAEL_MIC" = "y";
+  "CONFIG_CRYPTO_RMD128" = "m";
+  "CONFIG_CRYPTO_RMD160" = "m";
+  "CONFIG_CRYPTO_RMD256" = "m";
+  "CONFIG_CRYPTO_RMD320" = "m";
+  "CONFIG_CRYPTO_SHA1" = "y";
+  "CONFIG_CRYPTO_SHA1_SSSE3" = "y";
+  "CONFIG_CRYPTO_SHA256" = "y";
+  "CONFIG_CRYPTO_SHA512" = "y";
+  "CONFIG_CRYPTO_TGR192" = "m";
+  "CONFIG_CRYPTO_WP512" = "m";
+  "CONFIG_CRYPTO_GHASH_CLMUL_NI_INTEL" = "m";
+  "CONFIG_CRYPTO_AES" = "y";
+  "CONFIG_CRYPTO_AES_X86_64" = "y";
+  "CONFIG_CRYPTO_AES_NI_INTEL" = "y";
+  "CONFIG_CRYPTO_ANUBIS" = "m";
+  "CONFIG_CRYPTO_ARC4" = "y";
+  "CONFIG_CRYPTO_BLOWFISH" = "y";
+  "CONFIG_CRYPTO_BLOWFISH_COMMON" = "y";
+  "CONFIG_CRYPTO_BLOWFISH_X86_64" = "y";
+  "CONFIG_CRYPTO_CAMELLIA" = "m";
+  "CONFIG_CRYPTO_CAMELLIA_X86_64" = "m";
+  "CONFIG_CRYPTO_CAST5" = "y";
+  "CONFIG_CRYPTO_CAST5_AVX_X86_64" = "y";
+  "CONFIG_CRYPTO_CAST6" = "y";
+  "CONFIG_CRYPTO_CAST6_AVX_X86_64" = "y";
+  "CONFIG_CRYPTO_DES" = "y";
+  "CONFIG_CRYPTO_FCRYPT" = "m";
+  "CONFIG_CRYPTO_KHAZAD" = "m";
+  "CONFIG_CRYPTO_SALSA20" = "m";
+  "CONFIG_CRYPTO_SALSA20_X86_64" = "m";
+  "CONFIG_CRYPTO_SEED" = "m";
+  "CONFIG_CRYPTO_SERPENT" = "y";
+  "CONFIG_CRYPTO_SERPENT_SSE2_X86_64" = "y";
+  "CONFIG_CRYPTO_SERPENT_AVX_X86_64" = "y";
+  "CONFIG_CRYPTO_TEA" = "m";
+  "CONFIG_CRYPTO_TWOFISH" = "y";
+  "CONFIG_CRYPTO_TWOFISH_COMMON" = "y";
+  "CONFIG_CRYPTO_TWOFISH_X86_64" = "y";
+  "CONFIG_CRYPTO_TWOFISH_X86_64_3WAY" = "y";
+  "CONFIG_CRYPTO_TWOFISH_AVX_X86_64" = "y";
+  "CONFIG_CRYPTO_DEFLATE" = "y";
+  "CONFIG_CRYPTO_ZLIB" = "y";
+  "CONFIG_CRYPTO_LZO" = "y";
+  "CONFIG_CRYPTO_ANSI_CPRNG" = "m";
+  "CONFIG_CRYPTO_USER_API" = "m";
+  "CONFIG_CRYPTO_USER_API_HASH" = "m";
+  "CONFIG_CRYPTO_USER_API_SKCIPHER" = "m";
+  "CONFIG_ASYMMETRIC_KEY_TYPE" = "m";
+  "CONFIG_ASYMMETRIC_PUBLIC_KEY_SUBTYPE" = "m";
+  "CONFIG_PUBLIC_KEY_ALGO_RSA" = "m";
+  "CONFIG_X509_CERTIFICATE_PARSER" = "m";
+  "CONFIG_HAVE_KVM" = "y";
+  "CONFIG_HAVE_KVM_IRQCHIP" = "y";
+  "CONFIG_HAVE_KVM_EVENTFD" = "y";
+  "CONFIG_KVM_APIC_ARCHITECTURE" = "y";
+  "CONFIG_KVM_MMIO" = "y";
+  "CONFIG_KVM_ASYNC_PF" = "y";
+  "CONFIG_HAVE_KVM_MSI" = "y";
+  "CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT" = "y";
+  "CONFIG_VIRTUALIZATION" = "y";
+  "CONFIG_KVM" = "y";
+  "CONFIG_KVM_INTEL" = "y";
+  "CONFIG_VHOST_NET" = "m";
+  "CONFIG_BITREVERSE" = "y";
+  "CONFIG_GENERIC_STRNCPY_FROM_USER" = "y";
+  "CONFIG_GENERIC_STRNLEN_USER" = "y";
+  "CONFIG_GENERIC_FIND_FIRST_BIT" = "y";
+  "CONFIG_GENERIC_PCI_IOMAP" = "y";
+  "CONFIG_GENERIC_IOMAP" = "y";
+  "CONFIG_GENERIC_IO" = "y";
+  "CONFIG_CRC_CCITT" = "y";
+  "CONFIG_CRC16" = "y";
+  "CONFIG_CRC_T10DIF" = "y";
+  "CONFIG_CRC_ITU_T" = "y";
+  "CONFIG_CRC32" = "y";
+  "CONFIG_CRC32_SELFTEST" = "y";
+  "CONFIG_CRC32_SLICEBY8" = "y";
+  "CONFIG_CRC7" = "y";
+  "CONFIG_LIBCRC32C" = "y";
+  "CONFIG_CRC8" = "y";
+  "CONFIG_ZLIB_INFLATE" = "y";
+  "CONFIG_ZLIB_DEFLATE" = "y";
+  "CONFIG_LZO_COMPRESS" = "y";
+  "CONFIG_LZO_DECOMPRESS" = "y";
+  "CONFIG_XZ_DEC" = "y";
+  "CONFIG_XZ_DEC_X86" = "y";
+  "CONFIG_XZ_DEC_POWERPC" = "y";
+  "CONFIG_XZ_DEC_IA64" = "y";
+  "CONFIG_XZ_DEC_ARM" = "y";
+  "CONFIG_XZ_DEC_ARMTHUMB" = "y";
+  "CONFIG_XZ_DEC_SPARC" = "y";
+  "CONFIG_XZ_DEC_BCJ" = "y";
+  "CONFIG_XZ_DEC_TEST" = "m";
+  "CONFIG_DECOMPRESS_GZIP" = "y";
+  "CONFIG_DECOMPRESS_BZIP2" = "y";
+  "CONFIG_DECOMPRESS_LZMA" = "y";
+  "CONFIG_DECOMPRESS_XZ" = "y";
+  "CONFIG_DECOMPRESS_LZO" = "y";
+  "CONFIG_TEXTSEARCH" = "y";
+  "CONFIG_TEXTSEARCH_KMP" = "m";
+  "CONFIG_TEXTSEARCH_BM" = "m";
+  "CONFIG_TEXTSEARCH_FSM" = "m";
+  "CONFIG_HAS_IOMEM" = "y";
+  "CONFIG_HAS_IOPORT" = "y";
+  "CONFIG_HAS_DMA" = "y";
+  "CONFIG_CHECK_SIGNATURE" = "y";
+  "CONFIG_CPU_RMAP" = "y";
+  "CONFIG_DQL" = "y";
+  "CONFIG_NLATTR" = "y";
+  "CONFIG_ARCH_HAS_ATOMIC64_DEC_IF_POSITIVE" = "y";
+  "CONFIG_CLZ_TAB" = "y";
+  "CONFIG_CORDIC" = "y";
+  "CONFIG_MPILIB" = "m";
+  "CONFIG_OID_REGISTRY" = "m";
+}
diff --git a/machines/mmrnmhrm.nix b/machines/mmrnmhrm.nix
index a765918e..2e986f55 100644
--- a/machines/mmrnmhrm.nix
+++ b/machines/mmrnmhrm.nix
@@ -1,4 +1,4 @@
-{config, pkgs, ...}:
+{ config, pkgs, ... }:
 
 with pkgs.lib;
 
@@ -9,12 +9,20 @@ with pkgs.lib;
     linuxAszlig = pkgs.linuxManualConfig {
       version = pkgs.kernelSourceAszlig.version;
       src = pkgs.kernelSourceAszlig.src;
-      configfile = pkgs.fetchurl {
-        name = "aszlig.kconf";
-        url = "file:///home/aszlig/linux/.config";
-        md5 = "0c632194689797846127b47fa135c516";
-      };
-      allowImportFromDerivation = true; # XXX
+
+      configfile = let
+        isNumber = c: elem c ["0" "1" "2" "3" "4" "5" "6" "7" "8" "9"];
+        mkValue = val:
+          if val == "" then "\"\""
+          else if val == "y" || val == "m" || val == "n" then val
+          else if all isNumber (stringToCharacters val) then val
+          else if substring 0 2 val == "0x" then val
+          else "\"${val}\"";
+        mkConfigLine = key: val: "${key}=${mkValue val}";
+        mkConf = cfg: concatStringsSep "\n" (mapAttrsToList mkConfigLine cfg);
+      in pkgs.writeText "aszlig.kconf" (mkConf (import ./mmrnmhrm-kconf.nix));
+
+      allowImportFromDerivation = true;
     };
   in rec {
     kernelPackages = pkgs.linuxPackagesFor linuxAszlig kernelPackages;