diff options
| author | Thorsten Leemhuis <fedora@leemhuis.info> | 2018-08-16 09:44:16 +0200 |
|---|---|---|
| committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2018-08-16 09:44:16 +0200 |
| commit | d7fe7dc07db546e66bedfc129f571d461ab7f318 (patch) | |
| tree | 41be85dc81da51193419688d47d698522c82dcf8 /configs/fedora/generic/x86/CONFIG_PAGE_TABLE_ISOLATION | |
| parent | bb25498a748ab7113c4899eadbf077e9cc67bb42 (diff) | |
| parent | bec265804e1fd3a597c830846bf5efb43ebfa165 (diff) | |
| download | kernel-d7fe7dc07db546e66bedfc129f571d461ab7f318.tar.gz kernel-d7fe7dc07db546e66bedfc129f571d461ab7f318.tar.xz kernel-d7fe7dc07db546e66bedfc129f571d461ab7f318.zip | |
Merge remote-tracking branch 'origin/master' into rawhide-user-thl-vanilla-fedorakernel-4.19.0-0.rc0.git2.1.vanilla.knurd.1.fc28
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 |