Compilation of L4Linux, problems with make

Martin Pohlack mp26 at os.inf.tu-dresden.de
Tue Dec 19 08:59:52 CET 2006


Hi Dave,

> I am having problems trying to build the L4Linux kernel, has anyone seen
> the problem shown?
> 
> 
> -bash-2.05b# pwd
> /fiasco_part/src/l4linux-2.6
> -bash-2.05b# make
>   CHK     include/linux/version.h
>   CHK     include/linux/utsrelease.h
>   CHK     include/linux/compile.h
> dnsdomainname: Host name lookup failure
>   GEN     .version
>   CHK     include/linux/compile.h
> dnsdomainname: Host name lookup failure
>   UPD     include/linux/compile.h
>   CC      init/version.o
>   LD      init/built-in.o
>   LD      .tmp_vmlinux1
> ld: cannot find -lrtc
> make: *** [.tmp_vmlinux1] Error 1
> -bash-2.05b#    

Looks like you are missing the rtc package but want to link its library.
 Look if you have this checked out and built.

Cheers,
Martin




More information about the l4-hackers mailing list