You just read:

General Dynamics Acquires Open Kernel Labs, Inc.

News provided by

General Dynamics

Sep 10, 2012, 05:53 ET