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