BBB + Xylotex DB25 + LCD7 + Xenomai kernel- Overlay problems

Hello all,

I’m trying to free the pins needed to run a Xylotex DB25 board with Machinekit on a xenomai 3.8.13 kernel.

I’ve already git cloned the sources for the 3.8.13-xenomai kernel, but could someone please point me the file I should edit to make the changes to the LCD7 (4d systems) relevant part of the build tree?

For example, the dts file loaded is BB-BONE-LCD7-01-00A3.dts, where would that be in the 3.8.13-xenomai kernel tree?