diff options
| author | Thorsten Leemhuis <fedora@leemhuis.info> | 2019-07-21 19:24:01 +0200 |
|---|---|---|
| committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2019-07-21 19:24:01 +0200 |
| commit | 7cd3f7d1f68ea912ae3ecbc9698048a33e11d91e (patch) | |
| tree | 91f7c89d522fc131900a4e9df3b9ac4c6bed4411 /configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE | |
| parent | ba2937f4343d39918008d4e7bbcdaa4191fc827b (diff) | |
| parent | 093de513b85e80995c5d37a3d86797d62f8495cc (diff) | |
| download | kernel-7cd3f7d1f68ea912ae3ecbc9698048a33e11d91e.tar.gz kernel-7cd3f7d1f68ea912ae3ecbc9698048a33e11d91e.tar.xz kernel-7cd3f7d1f68ea912ae3ecbc9698048a33e11d91e.zip | |
Diffstat (limited to 'configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE')
| -rw-r--r-- | configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE b/configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE index e11904f2f..cd440ed6d 100644 --- a/configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE +++ b/configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE @@ -1 +1 @@ -CONFIG_HIGHPTE=y +# CONFIG_HIGHPTE is not set |