That's what option 2 - ovmerge - does. You can then use kdtc (https://github.com/raspberrypi/utils/tree/master/kdtc) to compile them, picking up any kernel headers that are needed, or roll your own based on dtc.
Statistics: Posted by PhilE — Thu May 08, 2025 4:51 pm