17:32 <helene> hello again! i believe i have figured out after many kernel recompilations what caused the SD card to not work on my board; somehow it is the lack of ARM SCMI drivers? but I have no idea why...

18:04 <Kwiboo> helene: if this is for a rk3588 it is because the hw regs to control clocks for sdmmc is in secure space, so TF-A must change sdmmc clk rate and kernel use SCMI clk driver to do so

18:08 <helene> Kwiboo: it indeed is a rk3588, thank you for that info! (i wish i had figured that out earlier!)

18:08 <helene> i'm surprised those are secure-only, however; i'm guessing rockchip didn't make that configurable?

18:30 <Kwiboo> no its does not seem to be configurable, the mainline linux arm64 defconfig should contain all (or most) required (and supported) drivers for rk3588

18:34 <helene> i was basing my kernel config off fedora's, so that's on me for that