diff options
Diffstat (limited to 'configs/base-generic')
-rw-r--r-- | configs/base-generic/x86/x86_64/CONFIG_CPU_ISOLATION | 1 | ||||
-rw-r--r-- | configs/base-generic/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/configs/base-generic/x86/x86_64/CONFIG_CPU_ISOLATION b/configs/base-generic/x86/x86_64/CONFIG_CPU_ISOLATION new file mode 100644 index 000000000..da3a02c10 --- /dev/null +++ b/configs/base-generic/x86/x86_64/CONFIG_CPU_ISOLATION @@ -0,0 +1 @@ +CONFIG_CPU_ISOLATION=y diff --git a/configs/base-generic/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION b/configs/base-generic/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION new file mode 100644 index 000000000..6881a7757 --- /dev/null +++ b/configs/base-generic/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION @@ -0,0 +1 @@ +CONFIG_PAGE_TABLE_ISOLATION=y |