I installed the .deb package you suggested, however I don't think everything went as it should have: the device /dev/mali0 is still missing. I understood that this device must be present in order to be sure the device is used correctly. Is it right ? The kernel of Armbian Ubuntu Noble also has been updates: the version is 6.1.115-vendor-rk35xx now. The output of lsmod command is:
Module Size Used by
rk805_pwrkey 16384 0
nvmem_rockchip_otp 20480 0
r8169 77824 0
rockchip_cpuinfo 16384 1 nvmem_rockchip_otp
adc_keys 16384 0