From c884d9aac61cb40d3d09fe7eed10dd6e3b420b73 Mon Sep 17 00:00:00 2001 From: Peter Robinson Date: Mon, 8 Jan 2018 03:35:58 +0000 Subject: remove baseconfig, obsolete --- baseconfig/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION | 1 - 1 file changed, 1 deletion(-) delete mode 100644 baseconfig/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION diff --git a/baseconfig/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION b/baseconfig/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION deleted file mode 100644 index 6881a7757..000000000 --- a/baseconfig/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION +++ /dev/null @@ -1 +0,0 @@ -CONFIG_PAGE_TABLE_ISOLATION=y -- cgit