New issue by schmidh on void-packages repository

https://github.com/void-linux/void-packages/issues/15901

Description:
I am trying to create a template file for the [Data Plane Development Kit (DPDK).
](https://www.dpdk.org/) DPDK uses a GNU makefile build system. Compiling the system creates apart from many library files two kernel object files.
```
masterdir/destdir/dpdk-19.08/lib/modules/5.3.7_1/extra/dpdk/rte_kni.ko
masterdir/destdir/dpdk-19.08/lib/modules/5.3.7_1/extra/dpdk/igb_uio.ko
```
I have no idea how I should install these two files:
1. xbps-src does not accept `lib` directories.
2. Even then I wouldn't know how to load these ko files. Are ko files Void Linux compliant? Do I have to create `dkms.config` files?