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/x86_64 | |
| 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/x86_64')
| -rw-r--r-- | configs/fedora/generic/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configs/fedora/generic/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION b/configs/fedora/generic/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION deleted file mode 100644 index 6881a7757..000000000 --- a/configs/fedora/generic/x86/x86_64/CONFIG_PAGE_TABLE_ISOLATION +++ /dev/null @@ -1 +0,0 @@ -CONFIG_PAGE_TABLE_ISOLATION=y |