fixes - we can now build the freertos foobartest

the generated ivory code works for channels. no dataports yet