How to compile kernel module for Pynq v3

  • PYNQ version: v3.0.1
  • Board name: Pynq-Z2

Amazing work, thanks for your time on this project for all open source developers.
I am trying to build in-tree kernel module (SPI LCD). I see there are Pynq bsp recipies, that contains patch example for kernel config file. I’ve spent many hours of trying to figure things out, maybe somebody could give some clues.

Question: What is recommended general way of building in-tree kernel module? Is it possible to build it without rebuilding whole system image?