Hi Mike! On Thursday, 30 January 2014 at 09:40:49 UTC, Mike wrote: > > Thanks Kai, > > Any chance I can convince you to can include ARM Thumb targets > in future releases? Yes, I am open to suggestions. :-) Maybe there other requests for other targets, too? Regards, Kai