New comment by classabbyamp on void-packages repository https://github.com/void-linux/void-packages/pull/46152#issuecomment-1732390533 Comment: > In the Raspberry Pi OS Debian package, the binaries are already included. Instead of adding multiple different files scattered across the kernel sources, that would be maybe the better approach. However, I didn't find out yet how you can also cross-compile them to deliver them in the package. yes, rpios builds it natively so that works. it's not supported to build those tools for the target so to do so would require patching will try adding those files later (after the weekend)