1CONFIG_CC_IS_GCC=y
2CONFIG_GCC_VERSION=90400
3CONFIG_CLANG_VERSION=0
4CONFIG_LD_IS_GNU=y
5CONFIG_CC_HAS_VISIBILITY_ATTRIBUTE=y
6CONFIG_ARM_64=y
7CONFIG_ARM=y
8CONFIG_ARCH_DEFCONFIG="arch/arm/configs/arm64_defconfig"
9
10# UBSAN
11CONFIG_UBSAN=n
12
13#
14# Architecture Features
15#
16CONFIG_ARM64_SVE=n
17CONFIG_64BIT=y
18CONFIG_NR_CPUS=4
19# CONFIG_ACPI is not set
20CONFIG_ARM_EFI=y
21CONFIG_GICV3=y
22CONFIG_HAS_ITS=y
23CONFIG_HVM=y
24# CONFIG_NEW_VGIC is not set
25CONFIG_SBSA_VUART_CONSOLE=y
26CONFIG_ARM_SSBD=y
27CONFIG_HARDEN_BRANCH_PREDICTOR=y
28CONFIG_TEE=n
29CONFIG_OPTEE=n
30CONFIG_FFA=n
31# CONFIG_STATIC_SHM is not set
32# end of Architecture Features
33
34#
35# ARM errata workaround via the alternative framework
36#
37CONFIG_ARM64_ERRATUM_827319=y
38CONFIG_ARM64_ERRATUM_824069=y
39CONFIG_ARM64_ERRATUM_819472=y
40CONFIG_ARM64_ERRATUM_843419=y
41CONFIG_ARM64_ERRATUM_832075=y
42CONFIG_ARM64_ERRATUM_834220=y
43CONFIG_ARM64_ERRATUM_1508412=y
44CONFIG_ARM_ERRATUM_858921=y
45CONFIG_ARM64_WORKAROUND_REPEAT_TLBI=y
46CONFIG_ARM64_ERRATUM_1286807=y
47# end of ARM errata workaround via the alternative framework
48
49CONFIG_ARM64_HARDEN_BRANCH_PREDICTOR=y
50# CONFIG_ALL_PLAT is not set
51# CONFIG_QEMU is not set
52# CONFIG_RCAR3 is not set
53CONFIG_MPSOC=y
54# CONFIG_NO_PLAT is not set
55CONFIG_MPSOC_PLATFORM=y
56
57#
58# Common Features
59#
60CONFIG_GRANT_TABLE=y
61CONFIG_HAS_ALTERNATIVE=y
62CONFIG_HAS_DEVICE_TREE=y
63CONFIG_HAS_FAST_MULTIPLY=y
64CONFIG_HAS_PDX=y
65CONFIG_HAS_PMAP=y
66# CONFIG_MEM_ACCESS is not set
67CONFIG_STATIC_MEMORY=y
68
69#
70# Speculative hardening
71#
72CONFIG_SPECULATIVE_HARDEN_ARRAY=y
73# end of Speculative hardening
74
75# CONFIG_HYPFS is not set
76CONFIG_IOREQ_SERVER=y
77# CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP is not set
78# CONFIG_XSM is not set
79# CONFIG_ARGO is not set
80
81#
82# Schedulers
83#
84# CONFIG_SCHED_CREDIT is not set
85CONFIG_SCHED_CREDIT2=y
86# CONFIG_SCHED_RTDS is not set
87# CONFIG_SCHED_ARINC653 is not set
88CONFIG_SCHED_NULL=y
89CONFIG_SCHED_CREDIT2_DEFAULT=y
90# CONFIG_SCHED_NULL_DEFAULT is not set
91CONFIG_SCHED_DEFAULT="credit2"
92# end of Schedulers
93
94CONFIG_BOOT_TIME_CPUPOOLS=y
95# CONFIG_LIVEPATCH is not set
96# CONFIG_ENFORCE_UNIQUE_SYMBOLS is not set
97CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS=y
98CONFIG_CMDLINE=""
99CONFIG_DOM0_MEM=""
100CONFIG_DTB_FILE=""
101# CONFIG_TRACEBUFFER is not set
102# end of Common Features
103
104#
105# Device Drivers
106#
107# CONFIG_HAS_NS16550 is not set
108CONFIG_HAS_CADENCE_UART=y
109# CONFIG_HAS_IMX_LPUART is not set
110# CONFIG_HAS_MVEBU is not set
111# CONFIG_HAS_MESON is not set
112CONFIG_HAS_PL011=y
113# CONFIG_HAS_SCIF is not set
114CONFIG_SERIAL_TX_BUFSIZE=16384
115CONFIG_HAS_PASSTHROUGH=y
116CONFIG_ARM_SMMU=y
117CONFIG_ARM_SMMU_V3=y
118# CONFIG_IPMMU_VMSA is not set
119CONFIG_IOMMU_FORCE_PT_SHARE=y
120# end of Device Drivers
121
122CONFIG_EXPERT=y
123CONFIG_UNSUPPORTED=y
124
125#
126# Debugging Options
127#
128CONFIG_DEBUG=y
129CONFIG_FRAME_POINTER=y
130CONFIG_COVERAGE=y
131CONFIG_DEBUG_LOCK_PROFILE=y
132CONFIG_DEBUG_LOCKS=y
133CONFIG_PERF_COUNTERS=y
134CONFIG_PERF_ARRAYS=y
135CONFIG_VERBOSE_DEBUG=y
136CONFIG_DEVICE_TREE_DEBUG=y
137CONFIG_SCRUB_DEBUG=y
138CONFIG_DEBUG_TRACE=y
139CONFIG_XMEM_POOL_POISON=y
140CONFIG_DEBUG_INFO=y
141# end of Debugging Options
142