Cog Systems is a cyber security company. It is our objective to both build and enable the world's most secure connected devices. We provide advanced operating system and platform development products and services for connected and IoT devices. We are experienced systems engineers specializing in embedded, mobile, security, high reliability, automotive, medical and IoT devices. We have state of the art technologies at our disposal including the OKL4 Microvisor, eChronos RTOS, seL4 and advanced device virtualization frameworks going beyond virtio. Our founding staff developed the OKL4 Microvisor at Open Kernel Labs (acquired by General Dynamics C4 Systems) and have each more than decade of specialist experience in the field, including managing projects from concept through to design, implementation and deployment. Cog Systems specialises in developing innovative and game-changing solutions, delivering safety and high assurance to smart devices. Our software has been deployed in several billion devices worldwide. Our mission is to redefine the design and development of embedded systems and in the process help our customers to deliver more reliable and secure systems, faster. Cog Systems licenses and can sublicense the OKL4 Microvisor - an advanced, highly secure hypervisor and separation kernel for ARM platforms. This includes the GD Connect Services communication and device virtualization framework providing advanced device virtualization at level far beyond virtio, and general purpose user defined custom protocol IPC support.