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<systypes/user.h> /* user_t */ 2 3/* An interface providing filesystem operations. */ 4 5interfaceFilesystem 6{ 7/* Obtain filesystem access for the given user details. */ 8 9[opcode(6)]voidopen_for_user(inuser_tuser,outcapopener); 10};