[nderjung]

We ended up doing this over at https://unikraft.io :-)