On 22/12/13 22:04:15, Richard Braun wrote: > Whether it's in a virtual machine or a real one doesn't matter at > all. On Debian, simply copy the gnumach binary to /boot and run > update-grub. You'll get a new entry at boot time for your kernel.
I don't have the update-grub command (I'm not using Debian). So I have to modify files by hand and when I write 'multiboot /boot/gnumach.gz' I get a 'invalid magic number' error at boot time. Can you please show me the gnumach menuentry generated by grub? Thanks.
