Hello... I'm making my pos-graduate project using L4, building a L4 server for secure communication. I have already built a prototype in c++ and i want to port it to L4. Is there any advice you can give me how to build and use a C++ L4 server? any special requirements, needs, etc...
thanks in advance
Tiago Jorge
l4-hackers@os.inf.tu-dresden.de