Skip to main content

Microkernel boasts more "robust" SDK

posted onOctober 23, 2008
by hitbsecnews

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.

Source

Tags

Linux

You May Also Like

Recent News

Friday, November 29th

Tuesday, November 19th

Friday, November 8th

Friday, November 1st

Tuesday, July 9th

Wednesday, July 3rd

Friday, June 28th

Thursday, June 27th

Thursday, June 13th

Wednesday, June 12th

Tuesday, June 11th