Kernel developed for the ARM based Cortex-A8 processor, which allows concurrent execution of processes via the scheduler and IPC.