The kernel module has to be added using the petalinux flow. You might find petalinux documents for detailed steps. Taking our zocl.ko driver for example, you need to add petalinux recipes, something like:
Then compile and build using petalinux-build like this:
Eventually move the ko file to your rootfs. Make sure you insmod that module as well.
For the ko module you mentioned, there might have already been some existing recipes to explore.
