diff options
| author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-10-19 19:05:00 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-10-19 19:05:00 -0300 |
| commit | eded16dc399f0b68cfcc618024e6b0b21854c62a (patch) | |
| tree | 1591333241873404855710d620cb53a5b8d55d01 /libre/linux-libre-grsec/config.armv7h | |
| parent | e84a2b24bcea8dfacc78e781bea41cd6a90a014d (diff) | |
linux-libre-grsec-1:4.7.8_gnu.r201610161720-1: updating version
Diffstat (limited to 'libre/linux-libre-grsec/config.armv7h')
| -rw-r--r-- | libre/linux-libre-grsec/config.armv7h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libre/linux-libre-grsec/config.armv7h b/libre/linux-libre-grsec/config.armv7h index 597becd12..b2dc768b8 100644 --- a/libre/linux-libre-grsec/config.armv7h +++ b/libre/linux-libre-grsec/config.armv7h @@ -7838,6 +7838,7 @@ CONFIG_PAX_MEMORY_UDEREF=y CONFIG_PAX_REFCOUNT=y CONFIG_PAX_USERCOPY=y CONFIG_PAX_SIZE_OVERFLOW=y +CONFIG_PAX_SIZE_OVERFLOW_EXTRA=y # CONFIG_PAX_LATENT_ENTROPY is not set # |