Microkernel boasts more "robust" SDK
Open Kernel Labs (OK Labs) has upgraded its microkernel operating system (OS) and Linux-friendly embedded virtual machine environment, adding an improved, Linux-compatible software development kit (SDK). Another touted improvement in OKL4 3.0 is a common API across different OKL4 versions, OSes, and mobile stacks, says the company.
OKL4 is a microkernel OS that runs almost everything in userspace. The OS includes a thin hardware abstraction layer that can support Linux, Windows Mobile, Symbian, and/or other guest OSes, each running in userspace for added security. It also includes a minimal POSIX-compliant execution environment, enabling separate applications and drivers to also run in separate, isolated partitions.