From b00248f98888f94575ab27d2bf2ed618a6502520 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Thu, 11 Apr 2024 16:28:24 +1000 Subject: [PATCH] rpi4: remove `dtoverlay=disable-bt` config option Previously the instructions said to add this config option and select a particular UART in the seL4 kernel DTS overlay. I believe this is not necessary and so in a previous commit to the documentation, removed the patch to the seL4 kernel DTS. However, the default UART selected by seL4 only works if this line is not in the config.txt file. Signed-off-by: Ivan Velickovic --- Hardware/Rpi4.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Hardware/Rpi4.md b/Hardware/Rpi4.md index 4c606b0f35..f75e4e7212 100644 --- a/Hardware/Rpi4.md +++ b/Hardware/Rpi4.md @@ -44,7 +44,7 @@ they should be located in the root directory of this partition. |SSBL |bootcode.bin|Loads GPU firmware and boots GPU| | |GPU firmware |start4.elf |Loads CPU bootloader and boots CPU | | |Usually the Linux kernel, but could also be U-Boot |u-boot.bin |U-Boot binary| Compiled using the instructions above | -||config.txt|U-Boot parameters |Add `arm_64bit=1`, `kernel=u-boot.bin`, and `dtoverlay=disable-bt` to the bottom of `config.txt` | +||config.txt|U-Boot parameters |Add `arm_64bit=1` and `kernel=u-boot.bin` to the bottom of `config.txt` | ||uboot.env |U-Boot saved environment |Generated by U-Boot (default environment) bootcmd copied to bootcmd_orig bootcmd and bootdelay removed. This file will not exist when you first setup your SD card. | ||bcm2711-rpi-4-b.dtb | RPi4 device tree blob | | ||overlays/* | Device tree overlays | |