" http://www.cs.princeton.edu/~mef/kernel-xenU-2.6.17-1.2187_FC5.0.i686.rpm This booted OK, but in missing the vnet module. A stock pl node has: /lib/modules/2.6.12-1.1398_FC4.5.planetlab/extra/vnet.ko