The ultimate HOW-TO

ComputerScienceStudent skitmax81 at
Wed Aug 8 10:39:37 CEST 2007

Adam Lackorzynski wrote:
>>   CC      arch/l4/kernel/main.o
>> arch/l4/kernel/main.c:68:24: error: l4/rtc/rtc.h: No such file or
>> directory
>> arch/l4/kernel/main.c: In function ‘main’:
>> arch/l4/kernel/main.c:1449: warning: implicit declaration of function
>> ‘l4rtc_get_seconds_since_1970’
>> make[1]: *** [arch/l4/kernel/main.o] Error 1
>> make: *** [arch/l4/kernel] Error 2
> Did you checkout the l4linux-2.6-env module to make sure you get
> everything needed for L4Linux? Or something different?
> You need to have l4/pkg/rtc which seems you do not have. Just check it
> out and compile L4Env again.

The command I type in the console is:

       $ ./repomgr co l4linux-2.6-env

Before the previous post I've typed:

       $ ./repomgr co l4env

as described at

Now, it seems to work! I've to add the entry to the menu.lst for my GRUB and
cross my fingers.. :-D
Thank you!

PS. Hope I will not, but probably I post another response if I'll have
View this message in context:
Sent from the L4 mailing list archive at

More information about the l4-hackers mailing list