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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to