Question about batman for ARM

Hello developers,

We’re currently trying to install batman-adv on an ARM platform but we ran into some issues and we would appreciate your help to answer our questions below:

Is the batman-adv module compatible with an ARM processor (Raspberry PI 4)?

I’m trying to install batman-adv onto an ARM Raspberry PI 4 with a Debian based Linux distribution (Pop OS). However, when I run “modprobe batman-adv”, it returns a FATAL error complaining that the module is not found in the “/lib/modules” directory. Where can I find/download the “.ko” for batman-adv for the ARM platform?

And if I need to recompile the .ko file for ARM, is there an online repository where I can find the original source code for the batman-adv driver?