base kernel with IPC.