[rcarmo]

No problem. I’ve been looking into bare metal runtimes for ARM chips, and when I chanced upon this thought it was too much of a gem not to be posted here. :)