aboutsummaryrefslogtreecommitdiff
path: root/version
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-03-21 13:54:53 +0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-03-21 17:27:19 +0100
commit24cb65efc3c34e24fc653779a4d42cf4f31c6737 (patch)
tree7f36c82b67b9ec64b4dee37418d9ed5232413a9d /version
parent3fc056927c962ec9778e94528f2f9ae316afca4e (diff)
Make /dev/kvm optional
The daemon now creates /dev deterministically (thanks!). However, it expects /dev/kvm to be present. The patch below restricts that requirement (1) to Linux-based systems, and (2) to systems where /dev/kvm already exists. I’m not sure about the way to handle (2). We could special-case /dev/kvm and create it (instead of bind-mounting it) in the chroot, so it’s always available; however, it wouldn’t help much since most likely, if /dev/kvm missing, then KVM support is missing.
Diffstat (limited to 'version')
0 files changed, 0 insertions, 0 deletions