blob: 24cb65efc3c34e24fc653779a4d42cf4f31c6737 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
tree 7f36c82b67b9ec64b4dee37418d9ed5232413a9d
parent 3fc056927c962ec9778e94528f2f9ae316afca4e
author Ludovic Courtès <ludo@gnu.org> 1395406493 +0100
committer Eelco Dolstra <eelco.dolstra@logicblox.com> 1395419239 +0100
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.
|
