Porting C++ apps to L4

[Tiago João Portela Jorge]

>  
> I am using the l4env_freebsd mode (cannot use dietlibc because I need
> STL). Do I understand correctly that RTTI and exceptions can be used
> with libstdc++?
> 

correct. Take a look here.
http://os.inf.tu-dresden.de/l4env/doc/oskit_support/index.html

> The next issue I have stumbled upon is that pthread_yield() can't be
> found. Other pthread functions work fine (I do include <pthread.h> and
> pthread.h is found by the include paths).
> 

In my case, i've ported all the code from pthreads to l4thread, trought the
L4Env thread package. I did the same with the locks.

> Thanks in advance,
> 
> Derick
> 


-- 
Tiago Jorge