RedHat, and Ubuntu bot seem to be incorporating Docker's application packaging into there plans...any thoughts on how Docker might come to influence Genode's longer term road-map?