-
The most widely deployed mobile virtualization solution
Data Sheets
How To
-
Gernot Heiser Discusses the ‘Perfect” Microkernel
Patrick Gray of Risky.biz interviews Gernot Heiser about OK Labs mathematically perfect microkernel. Full podcast available here.
19:14
-
About Open Kernel Labs with Gernot Heiser
February 25, 2009: What makes OKL4 Different? What are Capabilities? What is Formal Verification? and more . . .
7:40
-
OKL4 2.1 vs. KVM
OKL4 2.1 vs. KVM with Jonathan Sokolowski
1:31
-
OKL4 Driver Model
Nelson Tam on the OKL4 Driver Model
1:45
-
OK Linux in OKL4 Architecture
Geoff Lee discussing OK Linux in OKL4 Architecture
3:09
-
Scheduling and Priority Performance
Scheduling and Priority Performance with David Greenaway
3:51
-
Porting G-Streamer to OK Posix Cell
Porting G-Streamer to OK Posixs Cell with Nicholas Fitzroy-Dale
4:36
-
1:37
-
Multiprocessing (SMP and SMT) Internals in OKL4
How OKL4 differentiates between SMP and SMT machines, and how we can take advantage of processor topology
5:27
-
A man, an alpaca and OKL4
Using OKL4 on New Boards
3:08