On 17 June 2014 16:29, Jonathan Roelofs <jonathan at codesourcery.com> wrote: > Attached is what I now think the patch ought to be. Does unknownOS *always* mean bare-metal? --renato