A PKGBUILD for xTIMEcomposer (an IDE for XMOS chips)