[hinkley]

Well, that shows some promising numbers, but it's still a unikernel rather than an embedded OS which is I think what OP is asking for.