diff options
Diffstat (limited to 'dynamic-layers/raspberrypi/recipes-extended/xen/files/defconfig_raspberrypi4-64')
| -rw-r--r-- | dynamic-layers/raspberrypi/recipes-extended/xen/files/defconfig_raspberrypi4-64 | 117 |
1 files changed, 0 insertions, 117 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 @@ -# -# Automatically generated file; DO NOT EDIT. -# Xen/arm 4.13.0 Configuration -# -CONFIG_64BIT=y -CONFIG_ARM_64=y -CONFIG_ARM=y -CONFIG_ARCH_DEFCONFIG="arch/arm/configs/arm64_defconfig" - -# -# Architecture Features -# -CONFIG_NR_CPUS=128 -# CONFIG_ACPI is not set -CONFIG_GICV3=y -# CONFIG_HAS_ITS is not set -CONFIG_HVM=y -# CONFIG_NEW_VGIC is not set -CONFIG_SBSA_VUART_CONSOLE=y -CONFIG_ARM_SSBD=y -CONFIG_HARDEN_BRANCH_PREDICTOR=y -# CONFIG_TEE is not set - -# -# ARM errata workaround via the alternative framework -# -CONFIG_ARM64_ERRATUM_827319=y -CONFIG_ARM64_ERRATUM_824069=y -CONFIG_ARM64_ERRATUM_819472=y -CONFIG_ARM64_ERRATUM_832075=y -CONFIG_ARM64_ERRATUM_834220=y -CONFIG_ARM64_HARDEN_BRANCH_PREDICTOR=y -CONFIG_ALL_PLAT=y -# CONFIG_QEMU is not set -# CONFIG_RCAR3 is not set -# CONFIG_MPSOC is not set -# CONFIG_NO_PLAT is not set -CONFIG_ALL64_PLAT=y -# CONFIG_ALL32_PLAT is not set -CONFIG_MPSOC_PLATFORM=y - -# -# Common Features -# -CONFIG_GRANT_TABLE=y -CONFIG_HAS_ALTERNATIVE=y -CONFIG_HAS_DEVICE_TREE=y -CONFIG_HAS_FAST_MULTIPLY=y -# CONFIG_MEM_ACCESS is not set -CONFIG_HAS_PDX=y - -# -# Speculative hardening -# -CONFIG_SPECULATIVE_HARDEN_ARRAY=y -# CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP is not set -CONFIG_XSM=y -CONFIG_XSM_FLASK=y -CONFIG_XSM_FLASK_AVC_STATS=y -# CONFIG_XSM_FLASK_POLICY is not set -CONFIG_XSM_SILO=y -# CONFIG_XSM_DUMMY_DEFAULT is not set -# CONFIG_XSM_FLASK_DEFAULT is not set -CONFIG_XSM_SILO_DEFAULT=y -# CONFIG_ARGO is not set - -# -# Schedulers -# -CONFIG_SCHED_CREDIT=y -CONFIG_SCHED_CREDIT2=y -CONFIG_SCHED_RTDS=y -CONFIG_SCHED_ARINC653=y -CONFIG_SCHED_NULL=y -# CONFIG_SCHED_CREDIT_DEFAULT is not set -CONFIG_SCHED_CREDIT2_DEFAULT=y -# CONFIG_SCHED_RTDS_DEFAULT is not set -# CONFIG_SCHED_ARINC653_DEFAULT is not set -# CONFIG_SCHED_NULL_DEFAULT is not set -CONFIG_SCHED_DEFAULT="credit2" -# CONFIG_LIVEPATCH is not set -# CONFIG_ENFORCE_UNIQUE_SYMBOLS is not set -# CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS is not set -CONFIG_CMDLINE="" -CONFIG_DOM0_MEM="" -CONFIG_TRACEBUFFER=y - -# -# Device Drivers -# -CONFIG_HAS_NS16550=y -CONFIG_HAS_CADENCE_UART=y -CONFIG_HAS_MVEBU=y -CONFIG_HAS_MESON=y -CONFIG_HAS_PL011=y -CONFIG_HAS_SCIF=y -CONFIG_HAS_PASSTHROUGH=y -CONFIG_ARM_SMMU=y -# CONFIG_IPMMU_VMSA is not set -CONFIG_IOMMU_FORCE_PT_SHARE=y -CONFIG_DEFCONFIG_LIST="arch/arm/configs/arm64_defconfig" - -# -# Debugging Options -# -CONFIG_DEBUG=y -CONFIG_DEBUG_INFO=y -CONFIG_FRAME_POINTER=y -# CONFIG_COVERAGE is not set -# CONFIG_DEBUG_LOCK_PROFILE is not set -CONFIG_DEBUG_LOCKS=y -# CONFIG_PERF_COUNTERS is not set -CONFIG_VERBOSE_DEBUG=y -# CONFIG_DEVICE_TREE_DEBUG is not set -CONFIG_SCRUB_DEBUG=y -# CONFIG_DEBUG_TRACE is not set -CONFIG_XMEM_POOL_POISON=y |