June 2018 - l4-hackers - example.com Site

Building programs with MODE=shared in L4Re
by Paul Boddie 03 Jul '18

03 Jul '18

Hello, I have been busy writing libraries and programs for L4Re and recently had to think about the size of the payloads I have been deploying. It appears that in the build system, one can use MODE=shared to build dynamically-linked programs, and there is a shared version of the hello example in the examples package. However, I don't see any recipe for doing this for other programs. My impression is that the dynamic linker must have all the required libraries deployed as modules, and so I wrote a script to generate a list of such modules using readelf. In addition, it appears that libl4sys-direct.so is required (which readelf does not detect). Adding these modules to my conf/modules.list should yield success, but within my constrained debugging environment, I only see that "shared" programs fail to start. I really need to see if they start but then experience some initialisation problem, or whether they actually crash but Mag keeps their viewports around. Are there any other things that I need to consider when building and deploying such programs? I searched for guidance on this topic and only found the following: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/007094.html http://os.inf.tu-dresden.de/pipermail/l4-hackers/2016/007830.html Both of these discussion threads only provide some details and are obviously not tutorials. Thanks for any clues you might be able to provide! Paul P.S. I guess I could also see if the CI20 produces useful console-level details, perhaps indicating an architecture-related problem. Usually, however, the problem is caused by some simple mistake I have made, so I suspect that there is merely some detail I have forgotten.

2 9

Release of Sculpt TC
by Alexander Boettcher 14 Jun '18

14 Jun '18

Hi l4-hackers, we are happy to announce the release of Sculpt TC [0], a Genode based incarnation of a microkernel based operating system. It is the second out of four Sculpt OS releases planned in 2018 [1]. Under https://genode.org/download/sculpt you find the downloadable image, which is a live system and installer all in one. Once booted you can download further packages to play around with, e.g several native Genode applications and VMs on several VMMs. Have fun. Cheers, Alex B. [0] https://lists.genode.org/pipermail/users/2018-June/006115.html [1] https://genode.org/about/road-map#2018_-_The_year_of_Sculpt -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 3

Issues about webserver on L4Re
by 李鼎基 07 Jun '18

07 Jun '18

Hi, I’ve been trying to find or write a webserver directly on L4Re (*NO* L4Linux involved) based on snapshot “l4re-snapshot-17.12”. At first, I noticed that there was already a web server in “l4re-snapshot-17.12/src/l4/pkg/ankh”. But it was broken, even if I removed the “broken” file to make, nothing was generated under “/path/to/build/pkg/ankh” except “Makefile”. Then I intend to write a simple webserver (1st step a socket demo). Although there are socket APIs, I don’t know how to solve the NIC driver issues. The same code works well on Linux but failed on L4Re. Therefore: 1. Is there any way to revive the “ankh”? 2. If not, is there any way/demo to write a simple webserver directly on L4Re? Or how to solve the NIC driver issues? -- Thanks

2 1