# CONFIGs
-# Linux/i386 4.20.0 Kernel Configuration
+# Linux/i386 5.4.0 Kernel Configuration
# Report BUG() conditions and kill the offending process.
CONFIG_BUG=y
# Randomize position of kernel.
CONFIG_RANDOMIZE_BASE=y
+# Enable Kernel Page Table Isolation to remove an entire class of cache timing side-channels.
+CONFIG_PAGE_TABLE_ISOLATION=y
+
+# Don't allow for 16-bit program emulation and associated LDT tricks.
+# CONFIG_MODIFY_LDT_SYSCALL is not set
+
+