Compilation of L4Linux, problems with make

[Martin Pohlack]

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:

  /home/<my_account>/<build_dir>/bin/x86_686/bootstrap

Maybe you should read some of the documentation (which might be a bit
outdated, but may give some hints anyway), e.g.:

  http://os.inf.tu-dresden.de/L4/LinuxOnL4/build-2.6.shtml
  http://os.inf.tu-dresden.de/l4env/docu.xml

Cheers,
Martin