mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 07:22:25 +00:00
41 lines
1.5 KiB
Plaintext
41 lines
1.5 KiB
Plaintext
The C library of the Genode OS Framework is based on the code of FreeBSD. The
|
|
original code is available at the official FreeBSD website.
|
|
|
|
:FreeBSD website: [http://www.freebsd.org]
|
|
|
|
Currently, the libc supports the x86_32, x86_64 and ARM architectures. Support
|
|
for other architectures is planned as future addition.
|
|
|
|
Usage
|
|
-----
|
|
|
|
Before the libc is ready to use, the original FreeBSD source codes must be
|
|
downloaded and integrated with the Genode build system. The tool 'prepare_port'
|
|
automates this task. Please make sure to have Subversion installed. Then issue
|
|
the following command:
|
|
|
|
! ./tool/ports/prepare_port libc
|
|
|
|
To use the libc in your application, add 'libc' to the 'LIBS' declaration in
|
|
your build-description file. This declaration will make the libc headers
|
|
available for the include path of your target and link the C library. When
|
|
building, make sure that the 'libports' repository is included in your build
|
|
configuration ('<build-dir>/etc/build.conf').
|
|
|
|
Limitations
|
|
-----------
|
|
|
|
The current version of the C library is not entirely thread-safe.
|
|
In particular, the 'FILE' stream API ('fopen', 'fread', ...) must not be
|
|
used from multiple threads.
|
|
|
|
The back end does not cover all features of FreeBSD. If an unsupported
|
|
functions is called (see 'dummies.cc'), you will see an message in your debug
|
|
output:
|
|
! <function-name> called, not yet implemented!
|
|
|
|
Some of the back-end functions implemented in the other files have
|
|
dummy semantics but have to remain quiet because they are called from low-level
|
|
libc code.
|
|
|