Farid,
Nice work on the BOCHS write-up. I'll have to give it a try at some point.
Anyway -- I also get the endless loop when booting from GRUB. I'll have to try the Dresden binary to see if this corrects the problem. If so, we'll have to see if Okuji or Gord would be willing to add whatever changes were necessary to the main GRUB tree.
Since Okuji reads this mailing list, I'm hoping he'll do so (hint, hint ;-)
Thanks,
-Brent
Hi Brent,
From: Brent Fulgham brent.fulgham@xpsystems.com Subject: RE: first experiences with l4ka on a real pentium Date: Thu, 19 Oct 2000 14:43:40 -0700
Anyway -- I also get the endless loop when booting from GRUB. I'll have to try the Dresden binary to see if this corrects the problem. If so, we'll have to see if Okuji or Gord would be willing to add whatever changes were necessary to the main GRUB tree.
As for the command "modaddr", there was a discussion in the GRUB mailing list. See the archive, if you are interested in why we didn't add the command into GNU GRUB.
Briefly speaking, I don't want to add any command which is not intuitive for novices, as long as the command is _required_. Particularly, in this case, there are some ways that would be invisible for users. For example, it is not impossible that RMGR relocates modules. This may be NP-hard, if you want to do relocations optimally, but, in practice, I don't think this is so difficult, as the number of modules would be only about 5.
Another way is to let GRUB understand the correct load addresses of modules at boot time, but Michael and Volkmar seem not to like this idea, because this involves adding tags into modules.
Okuji
l4-hackers@os.inf.tu-dresden.de