Generic bootinfo implementation

[Alexandre Buisse]

Hi,

with the help of racin (who began the job) and marcus, I implemented
the generic bootinfo protocol (as described in l4-x2.pdf, appendix J).
There are the headers for libl4 (but not in l4/compat and more exotic
structures like ELF or EFI tables are not yet implemented) and the
real thing in laden, plus a two lines modification in wortel to find
the multiboot info again.

We are compliant with the L4 specification (in the bootinfo field of
the KIP, we find the generic bootinfo start, and the multiboot info
address is specified in a MBI record) and should be able to load any
L4 kernel.

Most of the code of ia32-cmain.c was moved into the new file
ia32-btinfo.c. The initialization of the generic bootinfo structure is
done in mbi_to_generic_bootinfo, called from cmain and the modules are
added in find_components(). It is stored at the arbitrary address
0x30000 which seemed free. I also moved the parsing of the arguments
to cmain, in order to be able to have serial output as soon as
possible.

There is no problem with laden and, good news, we now have full output
in the Kernel Debugger when pressing 'B'. However, the thing crashes
here after calling sigma0 with the following output :


creating sigma0 (000c0001)
creating root server (000c8001)
idle thread started on CPU 0
000c8001 pf @ f000ff5f, ip=00300032
--- "KD# user touches kernel area" ---
--------------------------------- (eip=f0105ec0, esp=f0112d66) ---


Wortel is not yet called when that happens, and this looks to me as
the_bug_that_always_happen_when_you_forget_to_strip_your_binaries,
although I double stripped them. I added protected regions for the
generic bootinfo structure, may be is it what causes the problem ?

I attach nevertheless the patch (obtained with diff -Nru, I don't know
if that is what is required).

Regards

A

bootinfo.patch
Description: Text Data