cog.systems
OKL4 Microvisor - ARM Hypervisor and Separation Kernel
http://cog.systems/products/okl4-microvisor.shtml
OKL4 Microvisor - secure Hypervisor. The OKL4 Microvisor is an advanced secure type-1 hypervisor developed by General Dynamics C4 Systems. Formerly Open Kernel Labs. Cog Systems is a licencee and active maintainer of OKL4 technology. Cog Systems has special expertise in applying the OKL4 Microvisor to embedded systems. As a partnering licensee, we supply, support and enhance the Microvisor for our customers in commercial markets. Cortex-A5, Cortex-A8, Cortex-A9, Qualcomm Krait. Resulting in long term sav...
cog.systems
Cog Systems | Engineering Services
http://cog.systems/products/engineering.shtml
Cog has experts fluent in embedded systems and embedded virtualization. We can help our customers with integration support, driver writing and platform porting, and related contract software development. Whether it is low-level bootloader, standalone C applications, real-time OS, Linux or high-level software such as Android, we can help. Cog also provides consulting design services. For your embedded systems product development.
cog.systems
Cog Systems | Products
http://cog.systems/products.shtml
Cog Systems has the best expertise and knowledge in embedded systems design. Whether you need a simple RTOS, Linux or a complex solution requiring multiple components with virtualization, Cog will help deliver the best solutions for your needs. Our products range from high assurance / high trust systems solutions, including use of ARM TrustZone, ultra reliable Real-Time Operating Systems (RTOS) with formal verification. Fast, secure, real-time. Small memory, strong protection. Our experts helping you.
cog.systems
OKL4 Microvisor-Lite - Nano Hypervisor
http://cog.systems/products/okl4-microvisor-lite.shtml
Cog Systems have developed a low-memory nano hypervisor version of the OKL4 Microvisor. Specifically for use in tightly memory constrained applications, such as running entirely within secure-SRAM in an ARM TrustZone environment. It has small RAM and ROM requirements and supports real-time virtualization. It does not support running Linux or other guests using dynamic page-tables.
cog.systems
Cog Systems - About Us
http://cog.systems/about-us.shtml
Cog Systems are the systems and embedded software specialists. We are an Australian spin-out company from General Dynamics C4 Systems. Formerly Open Kernel Labs) with the aim of expanding the used of OKL4 technology in smart devices and embedded systems applications. 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 the OKL4 technology from, and works closely with Genera...
cog.systems
eChronos High-Reliability RTOS
http://cog.systems/products/echronos.shtml
Is a small, versatile RTOS that provides a high assurance platform for tightly memory constrained devices and micro-controllers. It is highly portable and runs on a range of CPU architectures including Intel 80251, ARM Cortex-M4 and ARMv7-A, with ports to others constantly underway. EChronos can be used in conjunction with the OKL4 Microvisor, including ARM TrustZone, for high assurance platforms or simply as a low-overhead virtual environment.
cog.systems
Cog Systems - News
http://cog.systems/news.shtml
News and Press Releases. Read the latest exciting news releases from Cog Systems. Cog Systems updates the OKL4 Microvisor to support small memory systems. Cog Systems announces Cog Monitor for ARM TrustZone Devices.
cog.systems
Cog Monitor - ARM TrustZone Monitor
http://cog.systems/products/cog-monitor.shtml
Cog Monitor is an OS independent, ARM TrustZone secure monitor, designed to be used in conjunction with a Secure World kernel or the OKL4 Microvisor. Hosting one or more Trusted Execution Environments (TEE)s. Its designed to be small enough to use in low-memory devices. Supported configurations include uniprocessor, SMP with secure kernel tied to a fixed core, and full SMP in both Normal and Secure Worlds.
