get rid of the xenon device mk in this repo