1 files changed, 0 insertions, 71 deletions
diff --git a/platforms/rpi-aarch64/boot/config.txt b/platforms/rpi-aarch64/boot/config.txt
deleted file mode 100755
index 9ba1d14..0000000
--- a/platforms/rpi-aarch64/boot/config.txt
+++ /dev/null
@@ -1,71 +0,0 @@
-# Get more options/information on http://elinux.org/RPiconfig
-# or on https://www.raspberrypi.org/documentation/configuration/config-txt.md
-#
-# !!!!! This file will get overwritten by updates. Please use !!!!!
-# !!!!! extraconfig.txt if you want to set additional         !!!!!
-# !!!!! configuration options or add dt overlays.             !!!!!
-
-# Our kernels are located on a Linux partition. Chainload U-Boot to load them.
-kernel=u-boot.bin
-
-# Use 32 MB for GPU for all RPis (Min 16 - Max 192 MB)
-# We don't need that much memory reserved for it, because we drive most hardware
-# from Linux, not the VPU OS
-gpu_mem=32
-
-# Turbo mode: 0 = enable dynamic freq/voltage - 1 = always max
-force_turbo=0
-# Start in turbo mode for 30 seconds or until cpufreq sets a frequency
-initial_turbo=30
-
-# DO NOT overvoltage manually to not void warranty!
-over_voltage=0
-
-# Fix mini UART input frequency, and setup/enable up the UART.
-enable_uart=1
-
-# Disable warning overlays as they don't work well together with linux's graphical output
-avoid_warnings=1
-
-# This overlay fixes divergences between the RPi device tree and what
-# upstream provides
-dtoverlay=upstream
-
-# overscan is only needed on old TV sets and if analog gear is in the chain (e.g. DPI)
-disable_overscan=1
-
-# u-boot expects RPi's UART to have a compatible string not supported anymore in
-# linux upstream, while this is fixed, make sure the name shows up in the
-# device-tree. This is only needed for RPi, RPi2 and RPi0, but applied
-# generally so as to avoid complexity.
-dtoverlay=uboot-bcm2835-pl011
-
-[pi1]
-
-# Max ARM freq (default 700 MHz)
-arm_freq=840
-
-# Max core (GPU) freq (default 250 MHz)
-core_freq=375
-
-# SDRAM freq (default 400)
-sdram_freq=400
-
-[pi3]
-
-# These are not applied automatically? Needed to use respective upstream drivers.
-dtoverlay=vc4-kms-v3d,cma-default
-dtoverlay=dwc2
-
-[pi4]
-
-dtoverlay=disable-vc4
-
-[all]
-
-# Allow u-boot to set arm_control
-include ubootconfig.txt
-
-# Allow user overrides of config options
-include extraconfig.txt
-