+
+#### Planet-Lab ####
+# make some useful links
+pushd /boot > /dev/null ; {
+ ln -sf config-%{KVERREL}%{?1:.%{1}} config
+ ln -sf config-%{KVERREL}%{?1:.%{1}} configsmp
+ ln -sf initrd-%{KVERREL}%{?1:.%{1}}.img initrd-boot
+ ln -sf initrd-%{KVERREL}%{?1:.%{1}}.img initrd-bootsmp
+ ln -sf vmlinuz-%{KVERREL}%{?1:.%{1}} kernel-boot
+ ln -sf vmlinuz-%{KVERREL}%{?1:.%{1}} kernel-bootsmp
+}
+popd > /dev/null
+
+# ask for a reboot
+mkdir -p /etc/planetlab
+touch /etc/planetlab/update-reboot
+#### Planet-Lab ####