summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChristopher Clark <christopher.w.clark@gmail.com>2021-04-24 01:30:57 -0700
committerBruce Ashfield <bruce.ashfield@gmail.com>2021-04-29 23:05:11 -0400
commitc3f729252f44ac1145116abeec45679d15046418 (patch)
tree473f512a5975ada70c7ea8278f8fbe7713e855d4
parentc66fca46e407561b59a5904a682d6ff1c4609b95 (diff)
downloadmeta-virtualization-c3f729252f44ac1145116abeec45679d15046418.tar.gz
xen, rpi4: drop the raspberrypi4-64 defconfig, xen_git.bbappend
Since upstream Xen 4.14 and 4.15 have working default configs for Xen on the Raspberry Pi 4, the defconfig and bbappend in the raspberrypi dynamic layer can now be removed. Signed-off-by: Christopher Clark <christopher.w.clark@gmail.com> Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>
-rw-r--r--dynamic-layers/raspberrypi/recipes-extended/xen/files/defconfig_raspberrypi4-64117
-rw-r--r--dynamic-layers/raspberrypi/recipes-extended/xen/xen_git.bbappend11
2 files changed, 0 insertions, 128 deletions
diff --git a/dynamic-layers/raspberrypi/recipes-extended/xen/files/defconfig_raspberrypi4-64 b/dynamic-layers/raspberrypi/recipes-extended/xen/files/defconfig_raspberrypi4-64
deleted file mode 100644
index f3343d32..00000000
--- a/dynamic-layers/raspberrypi/recipes-extended/xen/files/defconfig_raspberrypi4-64
+++ /dev/null
@@ -1,117 +0,0 @@
1#
2# Automatically generated file; DO NOT EDIT.
3# Xen/arm 4.13.0 Configuration
4#
5CONFIG_64BIT=y
6CONFIG_ARM_64=y
7CONFIG_ARM=y
8CONFIG_ARCH_DEFCONFIG="arch/arm/configs/arm64_defconfig"
9
10#
11# Architecture Features
12#
13CONFIG_NR_CPUS=128
14# CONFIG_ACPI is not set
15CONFIG_GICV3=y
16# CONFIG_HAS_ITS is not set
17CONFIG_HVM=y
18# CONFIG_NEW_VGIC is not set
19CONFIG_SBSA_VUART_CONSOLE=y
20CONFIG_ARM_SSBD=y
21CONFIG_HARDEN_BRANCH_PREDICTOR=y
22# CONFIG_TEE is not set
23
24#
25# ARM errata workaround via the alternative framework
26#
27CONFIG_ARM64_ERRATUM_827319=y
28CONFIG_ARM64_ERRATUM_824069=y
29CONFIG_ARM64_ERRATUM_819472=y
30CONFIG_ARM64_ERRATUM_832075=y
31CONFIG_ARM64_ERRATUM_834220=y
32CONFIG_ARM64_HARDEN_BRANCH_PREDICTOR=y
33CONFIG_ALL_PLAT=y
34# CONFIG_QEMU is not set
35# CONFIG_RCAR3 is not set
36# CONFIG_MPSOC is not set
37# CONFIG_NO_PLAT is not set
38CONFIG_ALL64_PLAT=y
39# CONFIG_ALL32_PLAT is not set
40CONFIG_MPSOC_PLATFORM=y
41
42#
43# Common Features
44#
45CONFIG_GRANT_TABLE=y
46CONFIG_HAS_ALTERNATIVE=y
47CONFIG_HAS_DEVICE_TREE=y
48CONFIG_HAS_FAST_MULTIPLY=y
49# CONFIG_MEM_ACCESS is not set
50CONFIG_HAS_PDX=y
51
52#
53# Speculative hardening
54#
55CONFIG_SPECULATIVE_HARDEN_ARRAY=y
56# CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP is not set
57CONFIG_XSM=y
58CONFIG_XSM_FLASK=y
59CONFIG_XSM_FLASK_AVC_STATS=y
60# CONFIG_XSM_FLASK_POLICY is not set
61CONFIG_XSM_SILO=y
62# CONFIG_XSM_DUMMY_DEFAULT is not set
63# CONFIG_XSM_FLASK_DEFAULT is not set
64CONFIG_XSM_SILO_DEFAULT=y
65# CONFIG_ARGO is not set
66
67#
68# Schedulers
69#
70CONFIG_SCHED_CREDIT=y
71CONFIG_SCHED_CREDIT2=y
72CONFIG_SCHED_RTDS=y
73CONFIG_SCHED_ARINC653=y
74CONFIG_SCHED_NULL=y
75# CONFIG_SCHED_CREDIT_DEFAULT is not set
76CONFIG_SCHED_CREDIT2_DEFAULT=y
77# CONFIG_SCHED_RTDS_DEFAULT is not set
78# CONFIG_SCHED_ARINC653_DEFAULT is not set
79# CONFIG_SCHED_NULL_DEFAULT is not set
80CONFIG_SCHED_DEFAULT="credit2"
81# CONFIG_LIVEPATCH is not set
82# CONFIG_ENFORCE_UNIQUE_SYMBOLS is not set
83# CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS is not set
84CONFIG_CMDLINE=""
85CONFIG_DOM0_MEM=""
86CONFIG_TRACEBUFFER=y
87
88#
89# Device Drivers
90#
91CONFIG_HAS_NS16550=y
92CONFIG_HAS_CADENCE_UART=y
93CONFIG_HAS_MVEBU=y
94CONFIG_HAS_MESON=y
95CONFIG_HAS_PL011=y
96CONFIG_HAS_SCIF=y
97CONFIG_HAS_PASSTHROUGH=y
98CONFIG_ARM_SMMU=y
99# CONFIG_IPMMU_VMSA is not set
100CONFIG_IOMMU_FORCE_PT_SHARE=y
101CONFIG_DEFCONFIG_LIST="arch/arm/configs/arm64_defconfig"
102
103#
104# Debugging Options
105#
106CONFIG_DEBUG=y
107CONFIG_DEBUG_INFO=y
108CONFIG_FRAME_POINTER=y
109# CONFIG_COVERAGE is not set
110# CONFIG_DEBUG_LOCK_PROFILE is not set
111CONFIG_DEBUG_LOCKS=y
112# CONFIG_PERF_COUNTERS is not set
113CONFIG_VERBOSE_DEBUG=y
114# CONFIG_DEVICE_TREE_DEBUG is not set
115CONFIG_SCRUB_DEBUG=y
116# CONFIG_DEBUG_TRACE is not set
117CONFIG_XMEM_POOL_POISON=y
diff --git a/dynamic-layers/raspberrypi/recipes-extended/xen/xen_git.bbappend b/dynamic-layers/raspberrypi/recipes-extended/xen/xen_git.bbappend
deleted file mode 100644
index 995dfd3f..00000000
--- a/dynamic-layers/raspberrypi/recipes-extended/xen/xen_git.bbappend
+++ /dev/null
@@ -1,11 +0,0 @@
1FILESEXTRAPATHS_prepend := "${THISDIR}/files:"
2
3SRC_URI_append_raspberrypi4-64 = " \
4 file://defconfig_raspberrypi4-64 \
5 "
6
7do_post_patch_append_raspberrypi4-64() {
8 if [ ! -e "${WORKDIR}/defconfig" ] ; then
9 cp "${WORKDIR}/defconfig_raspberrypi4-64" "${WORKDIR}/defconfig"
10 fi
11}