XMOS社より、手頃な金額（DigikeyでUS$14.99)で購入できるStartKITが発売されました。
製品ページはこちら（別ウィンドウで開きます）。※写真はXMOS社より引用。
基板左側にある端子はRaspberry Piの拡張ボードとコンパチブルなので、Raspberry Piの周辺ボードとの接続が簡単にできそうです。
また、右側のPCI-eの左側にある端子もGPIOが24bit出ていますので、いろいろと接続できそうです。