GaloisInc / HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
BSD 3-Clause "New" or "Revised" License
1.05k stars 88 forks source link

Can't run LoopThreads #60

Open gracjan opened 9 years ago

gracjan commented 9 years ago

I get this:

vagrant@vagrant-ubuntu:~$ sudo xl create LoopThreads.config 
Parsing config file LoopThreads.config
xc: error: panic: xc_dom_bzimageloader.c:634: xc_dom_probe_bzimage_kernel: kernel is not a bzImage: Invalid kernel
libxl: error: libxl_dom.c:721:libxl_userdata_store cannot write /var/lib/xen/userdata-n.1.2c5034b0-4eab-4a08-9391-f157962852bd.xl for /var/lib/xen/userdata-d.1.2c5034b0-4eab-4a08-9391-f157962852bd.xl: No such file or directory
cannot save config file: No such file or directory
libxl: error: libxl_dom.c:648:libxl__userdata_destroyall glob failed for /var/lib/xen/userdata-?.1.2c5034b0-4eab-4a08-9391-f157962852bd.*: No such file or directory

What might be relevant:

any idea?

acw commented 9 years ago

That's a completely new one on me. I'll try to take a look at it. I assume LoopThreads.config is the one in the examples directory, here?

gracjan commented 9 years ago

Yes. I've done zero changes.