02198869c0b468e5ad1f72c18deee71ee492b32d
[pti/rtp.git] /
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
5
6 add IKCONFIG_PROC
7
8 Change-Id: I645e8d26250b78378914f7a24e4984c3b5bebf84
9 Signed-off-by: Jackie Huang <jackie.huang@windriver.com>
10 ---
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(-)
14
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
21  +
22  +CONFIG_BUILD_BIN2C=y
23 -+# CONFIG_IKCONFIG is not set
24 ++CONFIG_IKCONFIG=y
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
35  +
36  +CONFIG_BUILD_BIN2C=y
37 -+# CONFIG_IKCONFIG is not set
38 ++CONFIG_IKCONFIG=y
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
43 -- 
44 2.30.2
45