Partial implementation of syscall interface for IPC and microkernel functions