Rui Miguel Silva Seabra wrote: > That was something I found weird... on an Ubuntu (Jaunty) machine: Ubuntu's GRUB is patched for ext4, the patch didn't make F11. Kevin Kofler