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.
You are awesome! It works very nicely, thank you
Just a sidenote: There is no sound device present in the system. Would it be compliated to make it work?
need to add module loading:
modprobe spacemit_card
modprobe spacemit_i2s
modprobe spacemit_pcm
modprobe snd_soc_es8323
cat /proc/asound/cards
Yesss ā sound works again
(Only jack output; no HDMI or BT headset outputā¦ but I think I can live with thatā¦
)
Thank you yet again!
HDMI
modprobe spacemit-hdmiaudio
Yeah, I tried that; Unfortunalety that (in itself) does not add a hdmi sound device
[installation README.TXT
kernel 6.13.5
for overclocking 1.8ghz you need to enable boost:
echo 1 > /sys/devices/system/cpu/cpufreq/boost
echo userspace > /sys/devices/system/cpu/cpufreq/policy0/scaling_governor
echo 1800000 > /sys/devices/system/cpu/cpufreq/policy0/scaling_setspeed
irradium-3.7-riscv64-core-banana_pi_f3-6.13.5-build-20250306.img.zst
irradium-3.7-riscv64-core-banana_pi_f3-6.13.5-build-20250306.img.zst.sha256
irradium-3.7-riscv64-xfce-banana_pi_f3-6.13.5-build-20250306.img.zst
irradium-3.7-riscv64-xfce-banana_pi_f3-6.13.5-build-20250306.img.zst.sha256