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