I just received an XK-EVK-XU316 (digikey has some left in stock). This is the new version 2, with 2 micro-usb connectors and the XTAG V4 is included on board!.
The Hardware schematics available on the xmos.ai website is uptodate, but not the Hardware manual V2 dated 2022/7/21 which describes a previous version of the board requiring an external xtag V4...
FYI, I just connected 2 usb cables to my MacBook Pro (M1 with Ventura) and installed XTC 15.1.4 and I was able to get an "hello world" program running on the devkit in less than an hour.
by the way the new approach of not delivery a full eclipse environment and suggesting to leave XC syntax by using libxcore is not that fair and not perfect at all. trying to use Visual Studio code and having the same level of efficiency is not yet possible at all... I will try xmake and xcommon makefile later, I hope it s compatible...let see
good luck for the next steps