API_SendMessage(API_Port_t dest, API_MessageType_t type, char* contents); API_Port_t API_GetKernelPort(); API_Port_t kernelPort = API_GetKernelPort(); API_SendMessage(kernelPort, API_MSG_FINDSERVICE, "filesystem");