Where in the world is Gernot?

Where Has He Been?

Antarctica, AntarcticaJan. 06
Sydney, Australia Dec. 13
Hillsboro, ORDec. 10
San Diego, CADec. 07
Munich, GermanyDec. 03
Berlin, GermanyDec. 02
San Francisco, CADec. 02
Chicago, ILNov. 25
Sydney, Australia Nov. 04
Fairfax, VirginiaOct. 30

OK Awarded Editor's Choice

About the Blog

 
OK Bloggers include:

Engineers,
Developers,
Academics,
Executives,
and a variety of voices from the OK team.

We hope you enjoy this glimpse into our culture...

If you have any questions or comments please email us:

blog@ok-labs.com

Open Kernel Labs Blog

June 18, 2008

Gernot Heiser's avatar

TCB size is measured in LOC, not kB

On a competitor's FAQ I found this little gem:

"In a secure processing environment it is important to keep the code size, and hence the 'attack surface' as small as possible."

At the surface, this looks like our TCB size matters argument (and small is beautiful in this case). But we tend to talk about the TCB ...

Read More...

Posted by Gernot Heiser on June 18 at 10:30 AM

Filed in: Ask Gernot

June 17, 2008

Robert C. McCammon's avatar

Virtualization is not Enough! - Chalk Talk is Now Live

Our Chalk Talk (Webinar) "Creating Secure Mobile Devices" now Live!

Delve into the world of embedded virtualization, and software security in mobile devices with Gernot Heiser and Rob McCammon. In today's connected mobile devices, the OKL4 open source microkernel can provide security, virtualization, and a host of ...

Read More...

Posted by Robert C. McCammon on June 17 at 12:19 PM

Filed in: Virtualization for Embedded Systemes

June 10, 2008

Steve Subar's avatar

European Office Open!

I am pleased to announce that OK Labs is extending our global reach with the opening of a European headquarters based in Paris (that’s France, not Paris, Texas).  This marks an important milestone for OK Labs  and adds to our capabilities for winning targeted accounts in the mobile/wireless market.

Read More...

Posted by Steve Subar on June 10 at 06:11 AM

Filed in: What's up with us

June 03, 2008

Abi Nourai's avatar

Cool Hidden features in OKL4 2.1 (Part 2)

2. OK Linux performance on IA-32

With OKL4 2.1, we've released a series of additional performance optimizations to OKL4 and OK Linux on ia32 architectures.  And by additional improvements I really mean freakin' huge optimizations.  This baby flies compared to the achieved performance of OKL4 1.5.

To give you a taste, ...

Read More...

Posted by Abi Nourai on June 03 at 12:18 AM

Filed in: Virtualization for Embedded Systemes

May 28, 2008

Abi Nourai's avatar

Cool hidden features in OKL4 2.1 (Part 1)

In mid April, OK released version 2.1 of OKL4.  If you're a developer and interested in engaging with OKL4, here's a few understated but cool features introduced in version 2.1 that you might find very interesting.


1. POSIX on OKL4

OKL4 introduces a lightweight POSIX layer implemented directly over the high-performance ...

Read More...

Posted by Abi Nourai on May 28 at 01:45 AM

Filed in: Virtualization for Embedded Systemes

May 23, 2008

Tim Heath's avatar

OK Labs Community Wiki is Open

Open Kernel Labs Community Wiki

Over the past many months, the OKL4Community has been growing stronger than ever.  There's a healthy bunch of participants actively using OKL4 as a basis for their projects. What's most impressive of all is seeing Community members share their knowledge and tricks-of-the-trade that ...

Read More...

Posted by Tim Heath on May 23 at 09:26 AM

Filed in: What's up with us

May 22, 2008

Benno Leslie's avatar

Video- Porting OKL4 to a new SoC

Earlier this year I presented at the linux.conf.au embedded miniconf, about how to port OKL4 to a new SoC. The video was taped and had until recently been available on the linux.conf.au 2008 website, but for some reason that website has gone awol, so I thought it was a good time to put up my own copy. These videos have ...

Read More...

Posted by Benno Leslie on May 22 at 06:57 AM

Filed in: Virtualization for Embedded Systemes

May 21, 2008

Benno Leslie's avatar

Questions about Build System (Platform Related)

 A lot of people on the developer's mailing list have been asking for this video, so I figured we'd post it again.

Full Video Here:

http://media.benno.id.au/porting-okl4-new-soc_cif-highquality.ogg
http://media.benno.id.au/porting-okl4-new-soc_pal-highquality.ogg
 

Read More...

Posted by Benno Leslie on May 21 at 03:02 AM

Filed in: Virtualization for Embedded Systemes

May 14, 2008

Marti Konstant's avatar

We Wanna Win

It only takes a second of your time to change the life of an Iguana.

Go to http://www.eg3.com/techchoice/

and show your support of Iggy, OK Labs and the team behind OKL4 and OK Linux.

Hit the skip button until page 5 - click strongly yes for us and you can just click skip unitl your done. If you skip, it will only ...

Read More...

Posted by Marti Konstant on May 14 at 03:40 AM

Filed in:

May 13, 2008

Benno Leslie's avatar

Flying

You would think after a few hundred flights and around 300,000 miles the wonder of flying would have worn off. And to a very large extent it has. There is nothing magical or exciting being stuck in a cramped narrow seat for 12 hours, but there are definitely times when you can't help but be amazed where technology and ...

Read More...

Posted by Benno Leslie on May 13 at 06:52 AM

Filed in: Where we've been

May 10, 2008

Brenna Walters's avatar

Iggy Lets Loose in Helsinki

Iggy heads to Helsinki with Jim Bannon. Check out the photos

 

Read More...

Posted by Brenna Walters on May 10 at 08:06 AM

Filed in: What's up with us

Robert C. McCammon's avatar

What are they doing?

Rob McCammon and Gernot Heiser prep for their webinar recording. Watch for OK Labs Chalk Talk Webinar coming soon.

 

 

 

 

 

 

 

Read More...

Posted by Robert C. McCammon on May 10 at 02:08 AM

Filed in:

May 07, 2008

Abi Nourai's avatar

TCB Size Does Matter

If you read about computer security in the literature, you'll come a lot of discussion about various kinds of access-control policies.  One particular policy that is becoming more and more mainstream, thanks largely to seLinux, is mandatory access control (or MAC for short).  For all the talk that takes place about ...

Read More...

Posted by Abi Nourai on May 07 at 12:43 AM

Filed in: Virtualization for Embedded Systemes

May 06, 2008

Marti Konstant's avatar

Shameless self-promotion but Vote for Us Anyways!

Open Kernel Labs has been nominated by eg3.com’s editorial staff  for a Reader’s Tech Choice Award in the virtualization category! This nomination honors our new Secure HyperCell technology provided by OKL4. The “Tech Choice” awards recognize recent products that are both cutting edge and design practical.

We invite ...

Read More...

Posted by Marti Konstant on May 06 at 11:20 AM

Filed in:

May 04, 2008

Gernot Heiser's avatar

What is Secure HyperCell Technology?

We announced Secure HyperCell (SHC) technology without saying what it really is. You're excused for being a bit confused.

So, what is it? In a nutshell, it is an abstraction that includes fine-grained protection domain at one end, and complete virtual machines at the other, and combines this with mandatory access ...

Read More...

Posted by Gernot Heiser on May 04 at 12:32 AM

Filed in: Ask Gernot

Page 5 of 9 pages « First  <  3 4 5 6 7 >  Last »

Back To Top