By the way, is grub4dos usable in this context? I just read that it is not usable on all PC's and looks to me like it is more for Windows OS's .