Initial version.

riskeco · Nov 10, 2020 · 51e5fb0 · 51e5fb0
commit 51e5fb0
Show file tree

Hide file tree

Showing 3 changed files with 610 additions and 0 deletions.
diff --git a/define-cfg.sh b/define-cfg.sh
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+$ make defconfig
+
+$ echo CONFIG_USER_NS=y >> .config
+$ echo CONFIG_USERFAULTFD=y >> .config
+
+$ echo CONFIG_GDB_SCRIPTS=y >> .config
+$ echo CONFIG_FRAME_POINTER=y >> .config
+$ echo CONFIG_KGDB=y >> .config
+$ echo CONFIG_KGDB_SERIAL_CONSOLE=y >> .config
+$ echo CONFIG_KDB_KEYBOARD=y >> .config
+
+$ < /boot/config-5.3.0-46-generic grep _FB_ >> .config
+
+$ < /boot/config-5.3.0-46-generic grep _VIRTIO >> .config
+
+$ sed -i 's/=m$/=y/' .config
+$ make olddefconfig