Install the right kernel on both Debian and Ubuntu - both 32 and 64 bit
[invirt/packages/invirt-autoinstaller.git] / config.todo
1 guest/etc/init.d/rcS.invirt: netmask, gateway
2 guest/usr/lib/xen-tools/debian.d/*: separate our patches