Recently I’ve been working on XArduino which is a XMOS XS1 L1 co-processor for the Arduino open-source electronics prototyping platform.
The XArduino board provides Arduino applications with a 400 MIP’s multi-threaded 32-bit co-processor, as well as providing a VGA video output and PS/2 keyboard/mouse input for Arduino application.
It features a standard XTAG-2 to for programming and debugging. In addition the XTAG-2 interface will allow for XK-1 boards to access the VGA and PS/2 interfaces as well as way of connecting standard Arduino shields.
Note: This is a 3.3V-only board
The project is hosted at xcores.com/projects/xarduino