General utility modules for developing for Xmos devices