genodelabs/genode — pull request #582 by udosteinberg (2012-12-19 10:29:01+00:00)
Title: Request for discussion: VMM on Genode

This is **not** yet a request to merge these changes into any upstream repository. Rather, this is intended as a **request for discussion and review** to see if anything needs to be changed or fixed before these changes can be integrated. Markus will follow up with a description on how this branch can be used.