Compilation of L4Linux, problems with make
mp26 at os.inf.tu-dresden.de
Wed Dec 20 12:12:01 CET 2006
> Thankyou, I disabled the Realtime clock and after a few warnings, I
> finally have it all compiled (I think)..but...
If you disable hardware access for L4Linux later on, you will need the
external rtc server ...
> in the standalone grub setup for running l4Linux, the first line is:
> kernel .../bootstrap
> where is this 'bootstrap'? I can only find a bootstrap.o
Using 'locate' I easily find my bootstrap binary in my build directory
of my l4env tree:
Maybe you should read some of the documentation (which might be a bit
outdated, but may give some hints anyway), e.g.:
More information about the l4-hackers