Hi Samuel, On 05/17/12 01:37, Samuel Thibault wrote:
If I built and installed correctly (well, I did run configure, make, gzipped the "gnumach" file put it in /boot and directed grub to it, the patch works fine. Network works, I can ping, download and start network daemons.The address looked odd to me, but with the backtrace it's much clearer. It's simply the bios32 entry call which needs to be offset, like Linux does. Please try the attached patch over the latest git tree.
Thank you, Riccardo