The most widely deployed mobile virtualization solution
January 27, 2008
After two weeks in California, I spent two days in Sydney, before flying down the sunny Melbourne yesterday for linux.conf.au 2008.
Monday and Tuesday at linux.conf.au are the miniconf days. The wide variety of topics on display make things a little difficult. I was back and forward between the embedded and ...
Posted by Benno Leslie on January 27 at 04:49 PM
January 25, 2008
I'm sure you've all seen this phenomenon, which I'll call everything-is-a-taco. Assume that for some reason tacos are suddenly very popular. The next thing that happens is that any sort of fast food starts being marketed as a taco—you get hamburgers that look and taste like tacos, pizzas that look and taste like tacos ...
Posted by Gernot Heiser on January 25 at 03:15 PM
January 24, 2008
Open Kernel Labs is in part the commercialization vehicle for NICTA’s R and D in embedded real time operating systems. Which is not to say that the output of all the work they do comes to OK. The relationship is ongoing and a close relationship and a collaborative relationship. As is typical of spinouts from R and D ...
Posted by Steve Subar on January 24 at 07:14 PM
January 17, 2008
BW from OK: Gernot, I hear you are talking about L4.verified at the Open Group conference in San Francisco. What will your talk cover?
I will report on the work done by my team at NICTA on a formally-verified L4 microkernel as a basis for highly secure systems. This means a kernel that has a mathematically-precise and ...
Posted by Gernot Heiser on January 17 at 06:42 PM
January 14, 2008
We are going to be at RTECC, a free conference offering technical andeducationally-focused seminars, workshops and keynotes on real-time andembedded computing.
If anyone one is in Northern California, specifically near Santa Clara, on Jan. 22 come out and meet up with us. We will be at the conference until 3:30 and ...
Posted by Robert C. McCammon on January 14 at 12:48 PM
January 08, 2008
Reports of the recent publication by the FAA of a “special conditions” document warning of a potential security/safety vulnerability in the new Boeing 787 Dreamliner has created a bit of interest. Obviously, the idea of some kid (or terrorist) on a plane hacking into the flight control systems is a bit concerning. And ...
Posted by Gernot Heiser on January 08 at 10:22 PM
January 07, 2008
Posted by Daniel Potts on January 07 at 03:31 PM
January 02, 2008
Posted by Robert C. McCammon on January 02 at 04:52 PM
December 20, 2007
Posted by Steve Subar on December 20 at 10:52 PM
December 13, 2007
The Chicago staff of Open Kernel Labs heads to Sydney, Australia to meet with their down under mates. While in Sydney, the staff of Open Kernel Labs will host their 2007 Open House.
If you are friends of the OK community and want more information email blog@ok-labs.com.
Posted by Brenna Walters Lenoir on December 13 at 10:43 AM
November 28, 2007
For some reason over the past two weeks I've had friends and colleagues coming up to me and asking What is android? This is a, hopefully short, post to try and answer that question. In an effort to keep this post short, I'm making statements without necessarily backing them up with argument. If anyone disagrees with ...
Posted by Benno Leslie on November 28 at 07:08 PM
November 27, 2007
When we were coming up with the name Open Kernel Labs, one of those three words, “Kernel,” was an obvious choice, because the core technology is a pure microkernel.
However, we had choices to make about the other two words—“Open”and “Labs.” We were quite deliberate in thinking about these words, because they speak ...
Posted by Steve Subar on November 27 at 05:43 AM
November 22, 2007
When you are as immersed in this technology as many of us are, you can forget to explain the basics. At tradeshows I am frequently asked: “What is a Microkernel”
Well, let me begin my describing what a kernel is. A kernel is basically the software component of an operating system that runs in the privileged mode of a ...
Posted by Abi Nourai on November 22 at 07:03 PM
November 21, 2007
Melbourne 2008
28 Jan – 02 Feb
At the 2007 OLS, Christoph Lameter presented a talk titled “Extreme High Performance Computing or Why Microkernels Suck”. Having more than a passing interest in microkernels, and having deployed one in a few (dozen? hundred?) million mobile phones, I found this somewhat intriguing, and ...
Posted by Gernot Heiser on November 21 at 08:31 AM
November 16, 2007
“A brand name is more than a word. It is the beginning of a conversation.” – Lexicon
When I was first introduced to Open Kernel Labs, the word that most intrigued me was Labs.
In branding, there are different ways to create a company name - the core of a firm’s brand identity. Organizations work to create a phrase or ...
Posted by Marti Konstant on November 16 at 08:24 AM