Inter-partitions communication

[language=c,numberstyle=]include-libpok/middleware/port.h



Copyright 2009 POK Team