Sorry I missed your post. For some reason I’m not getting notifications. Bloody expensive board you’re whacking in there. I’d be interested to see what your experience with it is. Having used a number of other 32 bit platforms, I’m particularly interest to see if you have any reliability issues, dead pins, USB connectivity and random firmware crashes.