I found existing CMake Issue 12521 requesting XMOS support. Let’s move discussion there to track the work’s progress.