rumpkernel/rumprun-xen — pull request #10 by mato (2014-11-10 14:10:02+00:00)
Title: Clean up Mini-OS namespace

Clean up the Mini-OS namespace so that we can build arbitrary unmodified software with rumprun-xen without running into namespace conflicts.

http://thread.gmane.org/gmane.comp.rumpkernel.user/514