From 2b87a9d7b112107fc5f293ba1c7bf68a85e403e7 Mon Sep 17 00:00:00 2001 From: Paul Menzel Date: Thu, 11 Jan 2018 10:17:49 +0100 Subject: [PATCH] linux-4.14.13: Select `DEVKMEM` The default changed between 4.9 and 4.14. As Donald needs `/dev/kmem` for debugging, enable it again. --- linux-4.14.13-201.bee | 1 + 1 file changed, 1 insertion(+) diff --git a/linux-4.14.13-201.bee b/linux-4.14.13-201.bee index 44f08b358..15dae82c0 100755 --- a/linux-4.14.13-201.bee +++ b/linux-4.14.13-201.bee @@ -616,6 +616,7 @@ mee_configure() { CONFIG_INPUT_POLLDEV=y CONFIG_INPUT_EVDEV=y # CONFIG_SERIO_SERPORT is not set + CONFIG_DEVKMEM=y CONFIG_SERIAL_8250=y CONFIG_SERIAL_8250_CONSOLE=y CONFIG_PRINTER=y