I don't, but plan on it soon. The end of the semester is keeping me busy.
Mostly, you can use the stock Marlin, except for a small change that has to be made in Marlin.cpp and a custom Configuration.h Configuration_adv.h
I ditched the other changes they made (most were just menu modifications) to make tracking the Marlin main branch easier in the future. I did go through the trouble of modifying the source to include the X-Machines controller board with an eye towards submitting a pull-request to the Marlin dev team.
I'll try to get a public version of my changes up this weekend.