Choose what kernel to use for the autoinstaller based on what dom0 is 0.0.16
-rw-r--r-- 128 config.todo
drwxr-xr-x - debian
-rw-r--r-- 2661 invirt-database
-rwxr-xr-x 188 qemu-dm-invirt
-rwxr-xr-x 315 qemu-ifup.invirt
drwxr-xr-x - sysvms
-rwxr-xr-x 2862 vif-invirtroute