Compilation of L4Linux, problems with make

Martin Pohlack mp26 at
Wed Dec 20 12:12:01 CET 2006

Hi Dave,

> 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 mailing list