It’s great to see you actively developing this system!
The links are now working, and I’ve successfully installed the 20250119 core version on my Banana Pi F3.
The command echo 1 > /sys/devices/system/cpu/cpufreq/boost works perfectly, but when I try to run echo 1800000 > /sys/devices/system/cpu/cpufreq/policy0/scaling_setspeed, I get the error: -bash: echo: write error: Invalid argument.
Fooo, nice
Can I please ask you to elaborate a bit more on the topic? Not sure how the boot process work on BPI-f3. Nor do I know which specific changes there are present between ‘your’ kernel and stock Bianbu kernel…
(Yes, yes, I’m aware that I could (and probably should) spend the next whole month studying the whole thing, but I’m pressed for other things too… )
take kernel-k1#236.6.72-1.pkg.tar.gz unpack move /lib to /lib
rename the files in the unpacked /boot folder similarly to the existing /boot and move them there.
Can I please ask you to elaborate a bit more on the topic? Not sure how the boot process work on BPI-f3. Nor do I know which specific changes there are present between ‘your’ kernel and stock Bianbu kernel…
(Only jack output; no HDMI or BT headset output… but I think I can live with that… 
)