rock64 can't install wireguard

Troubleshooting
1

Hello, tried to install this : https://packages.debian.org/sid/wireguard-tools , installed linux-headers-4.4.77-rockchip-ayufan-136 by following this : https://dietpi.com/forum/t/rock64-wifi-module/2101/6 But no luck:

/header/usr/src# modprobe wireguard && lsmod | grep wireguard

modprobe: ERROR: …/libkmod/libkmod.c:586 kmod_search_moddep() could not open moddep file ‘/lib/modules/4.4.132-1075-rockchip-ayufan-ga83beded8524/modules.dep.bin’
modprobe: FATAL: Module wireguard not found in directory /lib/modules/4.4.132-1075-rockchip-ayufan-ga83beded8524

2

There are some kernel requirements, not sure if it’s related: https://www.wireguard.com/install/#kernel-requirements

Does the modprobe command work in combination with other modules, where you know that they are available and working? E.g. modprobe ipv6?

3

Looks like it needs wireguard-dkms as a rec

An essential feature of DKMS is that it automatically recompiles all DKMS modules if a new kernel version is installed. This allows drivers and devices outside of the mainline kernel to continue working after a Linux kernel upgrade.