L4Linux Compilation trouble with missing packages in L4

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Jun 13 00:25:53 CEST 2016


Hi,

On Fri Jun 10, 2016 at 11:52:25 +0200, Martin Gruber wrote:
> i started diving into L4 stuff recently and it looks really interesting.
> Currently I am trying to get L4Linux working on top of Fiasco.OC. After
> configuring the L4 Kernel, I am getting following error message at build:
> 
> ----------------------------------------------------------------------------
> 
> make O=../build/
> make[1]: Entering directory '/home/gruber/l4re/l4linux/build'
> Package shmc was not found in the pkg-config search path.
> Perhaps you should add the directory containing `shmc.pc'
> to the PKG_CONFIG_PATH environment variable
> No package 'shmc' found
> Package rtc was not found in the pkg-config search path.
> Perhaps you should add the directory containing `rtc.pc'
> to the PKG_CONFIG_PATH environment variable
> No package 'rtc' found
> Getting required compilation flags failed.
> L4OBJ: /home/gruber/l4re/src/l4/l4build
> L4_REQUIRED_MODS: libc_be_minimal_log_io libc_minimal libc_minimal_l4re
> libsupc++_minimal log l4re_c-util libio libvcpu shmc rtc
> arch/l4/Makefile:391: *** Aborting.. Stop.
> make[1]: Leaving directory '/home/gruber/l4re/l4linux/build'
> Makefile:146: recipe for target 'sub-make' failed
> make: *** [sub-make] Error 2
> 
> ----------------------------------------------------------------------------
> 
> After checking the mailing list archive i found this question:
> http://os.inf.tu-dresden.de/pipermail/l4-hackers/2015/007635.html
> http://os.inf.tu-dresden.de/pipermail/l4-hackers/2015/007635.html
> 
> I checked the l4/builddir/pc for missing libs and did not find them. Compilation
> of L4 worked fine, L4 also works with the small HelloWorld sample in QEMU. I
> checked the L4 config but was not able to find appropriate options.
> 
> Does anyone have an tip for me what I am doing wrong?

Looks like you just do not have the rtc and shmc packages in l4/pkg. Just
check them out (or disable CONFIG_L4_EXTERNAL_RTC and
CONFIG_L4_USE_L4SHMC in L4Linux so that they're not used, those are
optional).



Adam



More information about the l4-hackers mailing list