Does the K20 micro-controller on the Apalis TK1 board come pre-programmed with any firmware? If so, is there a source for it? Otherwise are there instructions on programming from the TK1?
Currently it comes with some test firmware only. We are working on further support which will follow shortly including accompanying documentation.