rumpkernel/rumpuser-xen — pull request #6 by ijackson-citrix (2014-05-15 18:31:31+00:00)
Title: Demo and build fixes

Fix a few things with rumkern_demo, so that the WOPR demo works now.

Also make it easier to build with Xen headers located somewhere else.