diff options
| author | Jeremy Cline <jcline@redhat.com> | 2018-08-14 10:44:37 +0100 |
|---|---|---|
| committer | Jeremy Cline <jcline@redhat.com> | 2018-08-14 13:00:57 +0100 |
| commit | 6003595fcc58ff971c2f53c7bf7d0ec19a7b8d8f (patch) | |
| tree | 6836d8ea5ca86b039c0935e31b3991dce154aead /configs/fedora/generic/x86/CONFIG_PAGE_TABLE_ISOLATION | |
| parent | 5e30106a2aa0140ad8a103b9e1a4221db1aaaf73 (diff) | |
| download | kernel-6003595fcc58ff971c2f53c7bf7d0ec19a7b8d8f.tar.gz kernel-6003595fcc58ff971c2f53c7bf7d0ec19a7b8d8f.tar.xz kernel-6003595fcc58ff971c2f53c7bf7d0ec19a7b8d8f.zip | |
Linux v4.18-1283-g10f3e23f07cb
Diffstat (limited to 'configs/fedora/generic/x86/CONFIG_PAGE_TABLE_ISOLATION')
| -rw-r--r-- | configs/fedora/generic/x86/CONFIG_PAGE_TABLE_ISOLATION | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/fedora/generic/x86/CONFIG_PAGE_TABLE_ISOLATION b/configs/fedora/generic/x86/CONFIG_PAGE_TABLE_ISOLATION new file mode 100644 index 000000000..6881a7757 --- /dev/null +++ b/configs/fedora/generic/x86/CONFIG_PAGE_TABLE_ISOLATION @@ -0,0 +1 @@ +CONFIG_PAGE_TABLE_ISOLATION=y |