Hi, On 10.09.2015 10:33, Josef Söntgen wrote: > There is a libc (based on FreeBSD 8.2.0) that runs directly on top of > Genode — no Noux runtime envolved. You will find the backend used > to complement the libc on Genode in 'repos/libports/src/lib/libc'.
just as a quick follow-up, to use the libc, you will need to take the following steps: * Download the source code of the FreeBSD libc: <genode-dir>/tool/ports/prepare_port libc The code will be downloaded to <genode-dir>/contrib/libc-<hash>/ * Specify the libc for your target by adding the following line to the target's build-description file (target.mk): LIBS += libc * Enable the 'libports' repository in your <build-dir>/etc/build.conf file by uncommenting the corresponding line. Note that the libc is a shared library. By using it, your program will implicitly become a dynamically linked executable. Hence, you will need to incorporate the dynamic linker (ld.lib.so) and the libc (libc.lib.so) into your boot image (see 'boot_modules' in your run script). Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
