diff options
Diffstat (limited to 'libre/linux-libre/config.armv7h')
-rw-r--r-- | libre/linux-libre/config.armv7h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libre/linux-libre/config.armv7h b/libre/linux-libre/config.armv7h index 7c369dcac..ea99b73df 100644 --- a/libre/linux-libre/config.armv7h +++ b/libre/linux-libre/config.armv7h @@ -7130,6 +7130,7 @@ CONFIG_VIDEO_BCM2835=m # CONFIG_TYPEC_TCPM is not set # CONFIG_PI433 is not set # CONFIG_GOLDFISH is not set +CONFIG_RETPOLINE=y CONFIG_CHROME_PLATFORMS=y CONFIG_CROS_EC_CHARDEV=y CONFIG_CROS_EC_PROTO=y |