L4Re Library Usage

Adam Lackorzynski adam at os.inf.tu-dresden.de
Sat Jul 30 16:52:19 CEST 2011

On Thu Jul 28, 2011 at 15:24:27 -0700, Wesley Miaw wrote:
> I have been able to get my module to compile as an ext-pkg. However I'm a
> little confused by the description of L4Re listed at
> http://os.inf.tu-dresden.de/L4Re/overview.html
> What exactly do I need to replace in my code to use the L4Re C or C++
> libraries, or libstdc++ etc.? I didn't get any compilation errors with
> code that directly calls malloc() and I saw some other modules call
> malloc() too. But I would have thought all memory allocation/deallocation
> needs to be changed to use an L4 function.
> When I looked inside packages like cxx or libstdc++ it doesn't actually
> look like these are replacements for the GNU headers or libraries.
> Is the only code I need to have use L4Re functions and types the code that
> is going to handle message receiving and sending? Everything else could be
> as if it was not part of L4?

Yes, exactly. There are backends for the libc functionality that make
for example malloc and friends work with L4Re mechanism. Of course not
everything Unix'ish works but most so that common libraries and programs
can work.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list