Skip to content

Commit ae5ea90

Browse files
jiyongpmetti
jiyongp
authored and
metti
committed
ANDROID: Move microdroid and crashdump defconfigs to common
They don't have device-specific modules. They are just generic configs that are different from GKI. Bug: 301852599 Test: run following commands tools/bazel run //common:kernel_aarch64_microdroid_dist tools/bazel run //common:kernel_x86_64_microdroid_dist tools/bazel run //common:kernel_aarch64_microdroid_config -- menuconfig tools/bazel run //common:kernel_x86_64_microdroid_config -- menuconfig tools/bazel run //common:kernel_aarch64_crashdump_dist tools/bazel run //common:kernel_x86_64_crashdump_dist tools/bazel run //common:kernel_aarch64_crashdump_config -- menuconfig tools/bazel run //common:kernel_x86_64_crashdump_config -- menuconfig Change-Id: I8908a7499451ace0740979b694eb5fcc68398c61 Signed-off-by: Jiyong Park <[email protected]>
1 parent b548c04 commit ae5ea90

11 files changed

+800
-0
lines changed

‎BUILD.bazel

+96
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@
44
load("@bazel_skylib//rules:write_file.bzl", "write_file")
55
load("//build/bazel_common_rules/dist:dist.bzl", "copy_to_dist_dir")
66
load("//build/kernel/kleaf:common_kernels.bzl", "define_common_kernels")
7+
load("//build/kernel/kleaf:constants.bzl", "X86_64_OUTS")
78
load(
89
"//build/kernel/kleaf:kernel.bzl",
910
"checkpatch",
@@ -167,6 +168,101 @@ define_common_kernels(target_configs = {
167168
},
168169
})
169170

171+
# Microdroid is not a real device. The kernel image is built with special
172+
# configs to reduce the size. Hence, not using mixed build.
173+
kernel_build(
174+
name = "kernel_aarch64_microdroid",
175+
srcs = ["//common:kernel_aarch64_sources"],
176+
outs = [
177+
"Image",
178+
"System.map",
179+
"modules.builtin",
180+
"modules.builtin.modinfo",
181+
"vmlinux",
182+
"vmlinux.symvers",
183+
],
184+
build_config = "build.config.microdroid.aarch64",
185+
make_goals = [
186+
"Image",
187+
],
188+
)
189+
190+
copy_to_dist_dir(
191+
name = "kernel_aarch64_microdroid_dist",
192+
data = [
193+
":kernel_aarch64_microdroid",
194+
],
195+
dist_dir = "out/kernel_aarch64_microdroid/dist",
196+
flat = True,
197+
log = "info",
198+
)
199+
200+
# Microdroid is not a real device. The kernel image is built with special
201+
# configs to reduce the size. Hence, not using mixed build.
202+
kernel_build(
203+
name = "kernel_x86_64_microdroid",
204+
srcs = ["//common:kernel_x86_64_sources"],
205+
outs = X86_64_OUTS,
206+
arch = "x86_64",
207+
build_config = "build.config.microdroid.x86_64",
208+
make_goals = [
209+
"bzImage",
210+
],
211+
)
212+
213+
copy_to_dist_dir(
214+
name = "kernel_x86_64_microdroid_dist",
215+
data = [
216+
":kernel_x86_64_microdroid",
217+
],
218+
dist_dir = "out/kernel_x86_64_microdroid/dist",
219+
flat = True,
220+
log = "info",
221+
)
222+
223+
kernel_build(
224+
name = "kernel_aarch64_crashdump",
225+
srcs = ["//common:kernel_aarch64_sources"],
226+
outs = [
227+
"Image",
228+
],
229+
build_config = "build.config.crashdump.aarch64",
230+
make_goals = [
231+
"Image",
232+
],
233+
)
234+
235+
copy_to_dist_dir(
236+
name = "kernel_aarch64_crashdump_dist",
237+
data = [
238+
":kernel_aarch64_crashdump",
239+
],
240+
dist_dir = "out/kernel_aarch64_crashdump/dist",
241+
flat = True,
242+
log = "info",
243+
)
244+
245+
kernel_build(
246+
name = "kernel_x86_64_crashdump",
247+
srcs = ["//common:kernel_x86_64_sources"],
248+
outs = X86_64_OUTS,
249+
arch = "x86_64",
250+
build_config = "build.config.crashdump.x86_64",
251+
make_goals = [
252+
"bzImage",
253+
],
254+
)
255+
256+
copy_to_dist_dir(
257+
name = "kernel_x86_64_crashdump_dist",
258+
data = [
259+
":kernel_x86_64_crashdump",
260+
],
261+
dist_dir = "out/kernel_x86_64_crashdump/dist",
262+
flat = True,
263+
log = "info",
264+
)
265+
170266
_DB845C_MODULE_OUTS = [
171267
# keep sorted
172268
"crypto/michael_mic.ko",

‎arch/arm64/configs/crashdump_defconfig

+81
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,81 @@
1+
# CONFIG_WERROR is not set
2+
# CONFIG_LOCALVERSION_AUTO is not set
3+
# CONFIG_SWAP is not set
4+
# CONFIG_CROSS_MEMORY_ATTACH is not set
5+
CONFIG_NO_HZ_IDLE=y
6+
CONFIG_PREEMPT=y
7+
# CONFIG_CPU_ISOLATION is not set
8+
CONFIG_LOG_BUF_SHIFT=15
9+
CONFIG_LOG_CPU_MAX_BUF_SHIFT=10
10+
# CONFIG_UTS_NS is not set
11+
# CONFIG_TIME_NS is not set
12+
# CONFIG_PID_NS is not set
13+
CONFIG_BLK_DEV_INITRD=y
14+
# CONFIG_RD_GZIP is not set
15+
# CONFIG_RD_BZIP2 is not set
16+
# CONFIG_RD_LZMA is not set
17+
# CONFIG_RD_XZ is not set
18+
# CONFIG_RD_LZ4 is not set
19+
# CONFIG_RD_ZSTD is not set
20+
CONFIG_CC_OPTIMIZE_FOR_SIZE=y
21+
# CONFIG_COMPAT_BRK is not set
22+
# CONFIG_SLAB_MERGE_DEFAULT is not set
23+
# CONFIG_SLUB_CPU_PARTIAL is not set
24+
CONFIG_ARM64_VA_BITS_48=y
25+
CONFIG_NR_CPUS=2
26+
CONFIG_CRASH_DUMP=y
27+
# CONFIG_RODATA_FULL_DEFAULT_ENABLED is not set
28+
# CONFIG_ARM64_TAGGED_ADDR_ABI is not set
29+
# CONFIG_ARM64_SVE is not set
30+
# CONFIG_EFI is not set
31+
# CONFIG_SUSPEND is not set
32+
CONFIG_JUMP_LABEL=y
33+
# CONFIG_SECCOMP is not set
34+
# CONFIG_STACKPROTECTOR is not set
35+
# CONFIG_VMAP_STACK is not set
36+
# CONFIG_MQ_IOSCHED_DEADLINE is not set
37+
# CONFIG_MQ_IOSCHED_KYBER is not set
38+
# CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
39+
# CONFIG_BINFMT_SCRIPT is not set
40+
# CONFIG_SPECULATIVE_PAGE_FAULT is not set
41+
CONFIG_PCI=y
42+
CONFIG_PCI_HOST_GENERIC=y
43+
CONFIG_PCI_ENDPOINT=y
44+
CONFIG_DEVTMPFS=y
45+
# CONFIG_STANDALONE is not set
46+
# CONFIG_PREVENT_FIRMWARE_BUILD is not set
47+
CONFIG_ARM_SCMI_PROTOCOL=y
48+
# CONFIG_ARM_SMCCC_SOC_ID is not set
49+
# CONFIG_BLK_DEV is not set
50+
# CONFIG_INPUT_KEYBOARD is not set
51+
# CONFIG_INPUT_MOUSE is not set
52+
# CONFIG_SERIO is not set
53+
# CONFIG_LEGACY_PTYS is not set
54+
CONFIG_SERIAL_8250=y
55+
CONFIG_SERIAL_8250_CONSOLE=y
56+
CONFIG_SERIAL_8250_NR_UARTS=1
57+
CONFIG_SERIAL_8250_RUNTIME_UARTS=1
58+
CONFIG_SERIAL_8250_EXTENDED=y
59+
CONFIG_SERIAL_OF_PLATFORM=y
60+
CONFIG_VIRTIO_CONSOLE=y
61+
# CONFIG_HW_RANDOM is not set
62+
# CONFIG_DEVMEM is not set
63+
# CONFIG_HWMON is not set
64+
# CONFIG_HID is not set
65+
# CONFIG_USB_SUPPORT is not set
66+
CONFIG_VIRTIO_PCI=y
67+
# CONFIG_VIRTIO_PCI_LEGACY is not set
68+
# CONFIG_VHOST_MENU is not set
69+
# CONFIG_ARM_ARCH_TIMER_EVTSTREAM is not set
70+
# CONFIG_FSL_ERRATUM_A008585 is not set
71+
# CONFIG_HISILICON_ERRATUM_161010101 is not set
72+
# CONFIG_ARM64_ERRATUM_858921 is not set
73+
# CONFIG_IOMMU_SUPPORT is not set
74+
# CONFIG_DNOTIFY is not set
75+
# CONFIG_INOTIFY_USER is not set
76+
CONFIG_TMPFS=y
77+
CONFIG_TMPFS_XATTR=y
78+
# CONFIG_MISC_FILESYSTEMS is not set
79+
CONFIG_XZ_DEC=y
80+
# CONFIG_SYMBOLIC_ERRNAME is not set
81+
# CONFIG_RUNTIME_TESTING_MENU is not set

0 commit comments

Comments
 (0)