Rob McCammon, Open Kernel Labs