I get the following output when booting:
<snip> Booting 'L4Linux 2.6 '
#13: loading "/usr/src/l4/l4/bin/x86_586/l4v2/con --l4io" from 033ef000-0356431e to [ 00b00000-00b4efab 00b4f000-00b61000 ] starting at entry 00b00000 via trampoline page code 00060170 symbols at 0cd3b000-0cd49000 (56kB), lines at 0cd0d000-0cd3b000 (184kB) #14: loading "/usr/src/l4/l4/bin/x86_586/l4v2/loader --fprov=BMODFS run.bmodfs.cfg l4linux26.cfg" from 03565000-036344e3 to [ 01300000-013265cb 01327000-01339000 ] starting at entry 01300000 via trampoline page code 00061198 symbols at 0cd07000-0cd0d000 (24kB), lines at 0ccf2000-0cd07000 (84kB)
simplets| Configured for 380 tasks. rtc | Date:04.01.2006 Time:11:00:09
RMGR: task a.00 at 00b99c57 is trying to get page 00100000 allocated by task 7
---------------------------------------------------------IP: 0011c6c1 --double page fault(4.00) jdb: ^ Return reboots, "k" enters L4 kernel debugger... Rebooting.
<snip>
Any hint on what I've messed up - also pointers on how to get usable debug infos out of such a situation would be appreciated - I did fine some short l4_install.notes describing setup of hello + L4Linux but they seem to be a bit out of date. My suspicion is that the grub is not correctly patched and thus these problems...
This looks like some bug we recently had and which is now fixed (see also other post here). It has nothing to do with grub. Please update everything and rebuild. If that does not help it's something else ;)
I read the thread on dm_phys and updated the CVS (actually recloned from scratch last weekend - but I'll give it another shot - not to sure if I replace all files in the boot partition corectly.
thx ! hofrat