1 From bf7b0bb94179d04905527126df5f0537ba1d121b Mon Sep 17 00:00:00 2001
2 From: Jackie Huang <jackie.huang@windriver.com>
3 Date: Wed, 13 Dec 2023 10:51:28 +0800
4 Subject: [PATCH 7/7] kernel: add /proc/config.gz
8 Change-Id: I645e8d26250b78378914f7a24e4984c3b5bebf84
9 Signed-off-by: Jackie Huang <jackie.huang@windriver.com>
11 .../debian/deb_patches/0035-ARM-linux-rt-fix-for-arm64.patch | 3 ++-
12 .../deb_patches/0034-ARM-debian-config-fix-for-arm64.patch | 3 ++-
13 2 files changed, 4 insertions(+), 2 deletions(-)
15 diff --git a/kernel-rt/debian/deb_patches/0035-ARM-linux-rt-fix-for-arm64.patch b/kernel-rt/debian/deb_patches/0035-ARM-linux-rt-fix-for-arm64.patch
16 index c5c224e..819d1f3 100644
17 --- a/kernel-rt/debian/deb_patches/0035-ARM-linux-rt-fix-for-arm64.patch
18 +++ b/kernel-rt/debian/deb_patches/0035-ARM-linux-rt-fix-for-arm64.patch
19 @@ -153,7 +153,8 @@ index 0000000..ca69257
20 +# end of RCU Subsystem
23 -+# CONFIG_IKCONFIG is not set
25 ++CONFIG_IKCONFIG_PROC=y
26 +# CONFIG_IKHEADERS is not set
27 +CONFIG_LOG_BUF_SHIFT=18
28 +CONFIG_LOG_CPU_MAX_BUF_SHIFT=12
29 diff --git a/kernel-std/debian/deb_patches/0034-ARM-debian-config-fix-for-arm64.patch b/kernel-std/debian/deb_patches/0034-ARM-debian-config-fix-for-arm64.patch
30 index 0b13b69..d5d508f 100644
31 --- a/kernel-std/debian/deb_patches/0034-ARM-debian-config-fix-for-arm64.patch
32 +++ b/kernel-std/debian/deb_patches/0034-ARM-debian-config-fix-for-arm64.patch
33 @@ -148,7 +148,8 @@ index 0000000..75625e0
34 +# end of RCU Subsystem
37 -+# CONFIG_IKCONFIG is not set
39 ++CONFIG_IKCONFIG_PROC=y
40 +# CONFIG_IKHEADERS is not set
41 +CONFIG_LOG_BUF_SHIFT=18
42 +CONFIG_LOG_CPU_MAX_BUF_SHIFT=12