Hi Michael,
I wonder, do you see any actionable steps that would lead us towards this alien world?
I actually already have planned steps towards this world. So first, I would start with, as stated in my first e-mail, improving the networking stack to be able to support high volume traffic (which to be honest not even the Out-of-the box Linux stack can currently handle, which is why third-party user-space stacks based on DPKD are so popular in this domain). During that I’d also start to port some typical server applications to Genode for use for evaluation of the network stack and as a poster child. And, if this works out and I have a practically proven prototype for a cloud-flavor of Genode including the features I developed for my PhD thesis, I would like to present it with a demonstrator and evaluation at fitting conferences (e.g. the corresponding dev-rooms at FOSDEM, SOSP, NSDI etc).
Wow! I'm stoked that you already drafted a plan in such detail.
Wishing you best luck, and see you at FOSDEM!
Norman