Page MenuHomeFreeBSD

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

Authored by bnovkov on May 22 2026, 6:37 PM.
Tags
None
Referenced Files
Unknown Object (File)
Mon, Jul 6, 8:21 PM
Unknown Object (File)
Wed, Jul 1, 3:59 PM
Unknown Object (File)
Fri, Jun 26, 5:57 AM
Unknown Object (File)
Thu, Jun 25, 7:29 AM
Unknown Object (File)
Wed, Jun 17, 8:42 PM
Unknown Object (File)
Wed, Jun 17, 2:20 AM
Unknown Object (File)
Wed, Jun 17, 2:20 AM
Unknown Object (File)
Sun, Jun 14, 9:04 AM
Subscribers

Details

Reviewers
manu
mhorne
Group Reviewers
riscv
Summary

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.

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped

Event Timeline

Seems good to bring these in.

Are you running with mainline u-boot? I have not kept track of its status for this hardware.

sys/modules/dtb/spacemit/Makefile
2–3

Did you copy these from somewhere? I do not understand the naming strategy in use here.

Why not combine them into a single overlay?

Seems good to bring these in.

Are you running with mainline u-boot? I have not kept track of its status for this hardware.

Unfortunately no, I'm running the vendor's build (uboot 2022.10) since upstream support is not quite there yet.
I think that's going to change soon though, several K1-related patch series have been created in the last couple of months (e.g., CCU driver).
I have a set of scripts that I use to build the final image from the vendor's artifacts until mainline uboot is ready, I plan on converting those into a wiki page soon.

sys/modules/dtb/spacemit/Makefile
2–3

I think my initial intention was to split the overlays into an SoC-specific and a CPU-specific file, but looking back at this I think you're right, it makes more sense to have them in a single file.

LGTM.

Unfortunately no, I'm running the vendor's build (uboot 2022.10) since upstream support is not quite there yet.
I think that's going to change soon though, several K1-related patch series have been created in the last couple of months (e.g., CCU driver).
I have a set of scripts that I use to build the final image from the vendor's artifacts until mainline uboot is ready, I plan on converting those into a wiki page soon.

That sounds great, thanks. I know there are some others with this hardware who will be curious to try it again.