-
Notifications
You must be signed in to change notification settings - Fork 126
Description
Hello,
I am trying to run a unikernel via rumprun on Xen. I'm using a Ubuntu 17.10 with gcc 7.2.0.
The command I'm using is:
CXX=false ./build-rr.sh xen -- -F ACLFLAGS=-no-pie
It looks like it runs until a certain point where it cannot find Xen headers, as you can see in the log:
log.txt
I have libxen-dev installed:
sudo apt-get install libxen-dev
Reading package lists... Done
Building dependency tree
Reading state information... Done
libxen-dev is already the newest version (4.9.0-0ubuntu3).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
I was trying to figure out what the problem was, and I came across the fact that the variable $XEN_HEADERS was not declared before in any of the config, config.sh or config.mk files, therefore, in the function probeprereqs() in the file build-rr.sh breaks.
Any ideas how to include Xen headers or, in case these are included, how to make rumprun detect them?