Changed IPC message handling to interpret gate labels as generic endpoint
addresses, with endpoint structures representing components and notification
IRQs.
ipc-config-endpoints
1#include<l4/re/protocols.h> /* L4RE_PROTO_PARENT */ 2 3[protocol(L4RE_PROTO_PARENT)] 4interfaceParent 5{ 6/* Receive a signal from a task. */ 7 8[opcode(0)]voidsignal(inunsignedlongsig,inunsignedlongval); 9};