sys/dts: Add SD card overlays for the BananaPi-F3 SoC

The K1 user manual lists three separate SDHCI devices but the
upstream DTS file only defines the eMMC device.

Create a temporary overlay to allow the BananaPi-F3 to boot from the
SD card until this is addressed upstream.

Differential Revision:	https://reviews.freebsd.org/D57177
Reviewed by:	mhorne
This commit is contained in:
Bojan Novković committed 2026-08-16 19:15:08 +02:00
1 parent dcb10e3add
commit 9b3415e9ec
6 files changed
+45 -1

No files matched your search

+1 -1
View File
@@ -1,3 +1,3 @@
SUBDIR=arm powerpc
SUBDIR=arm powerpc riscv
.include <bsd.subdir.mk>
+5
View File
@@ -0,0 +1,5 @@
DTS!=ls ${.CURDIR}/*.dts
all: test-dts
.include <bsd.init.mk>
+1
View File
@@ -0,0 +1 @@
.include "../Makefile.inc"
+5
View File
@@ -0,0 +1,5 @@
DTSO!=ls ${.CURDIR}/*.dtso
all: test-dtso
.include <bsd.init.mk>
@@ -0,0 +1,32 @@
#include <dt-bindings/clock/spacemit,k1-syscon.h>
/dts-v1/;
/plugin/;
/ {
compatible = "bananapi,bpi-f3", "spacemit,k1";
};
&{/soc/storage-bus} {
sd: mmc@d4280000 {
compatible = "spacemit,k1-sdhci";
reg = <0x0 0xd4280000 0x0 0x200>;
clocks = <&syscon_apmu CLK_SDH_AXI>,
<&syscon_apmu CLK_SDH0>;
clock-names = "core", "io";
resets = <&syscon_apmu RESET_SDH_AXI>,
<&syscon_apmu RESET_SDH0>;
reset-names = "axi", "sdh";
interrupts = <99>;
status = "disabled";
};
};
&sd {
bus-width = <4>;
wp-inverted;
no-mmc;
no-sdio;
/* SD supports clock rates up to SDR104. */
max-frequency = <208000000>;
status = "okay";
};
+1
View File
@@ -1,3 +1,4 @@
DTS= spacemit/k1-bananapi-f3.dts
DTSO= spacemit-k1-mmc0.dtso
.include <bsd.dtb.mk>