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