Virtualization

Showing results for: micro kernel
Refine Virtualization companies and products:
hypervisor multi-os multicore processor architecture virtualized system multi-tasking parvirtualization multitasking vmm virtual machine monitors separation kernel security partition symmetric multiprocessing asymmetric multiprocessing multicore os multi os multiple os mils virtualization mobile virtualization bare metal hypervisor virtualization micro kernel microkernel multiple operating system interfaces multiple operating system personalities
Click on any vendor
to see a listing of
micro kernel related products.
  • eSOL Co., Ltd.  (1)
    • eSOL RTOS Suite
      Two realtime OS choices: The eT-Kernel product group, an extension of T-Kernel, and a micro ITRON4.0-compliant realtime OS (+)

      Features:

      37153.jpg
      • A new operating system standard for high-end embedded applications
      • Available in five profiles to fit any system size and purpose
      • Multi-Core Edition supports two scheduling modes, true SMP Mode (TSM) and Single Processor Mode (SPM) that provide software developers with a blended multiprocessor RTOS
  • LynuxWorks, Inc.  (4)
    • LynxSecure 5.0
      Version 5.0 of the LynxSecure separation kernel and hypervisor (+)

      Features:

      47745.jpg
      • Boosts performance for fully virtualized guest operating systems (OSes)
      • 64-bit and symmetric multiprocessing (SMP) guest OS virtualization support
      • LynxSecure 5.0 features a new secure device virtualization mechanism, managed from a secure partition, to allow limited physical devices to be virtualized and shared between guest OSes
    • LynxSecure
      A separation kernel to meet the needs for the highest level of embedded software security (+)

      Features:

      30051.jpg
      • MILS architecture conformance for building secure systems
      • Optimal security and safety – operating system supports CC EAL-7 and DO-178B Level A
      • Real time – time-space partitioned RTOS for superior determinism and performance
    • LynxSecure 2.0
      A next-generation separation kernel and embedded hypervisor for high-assurance systems (+)

      Features:

      • Provides a standards-based, secure, multidomain computational platform that serves as a trusted foundation for applications with low, medium, and high assurance requirements that are all running concurrently on a single system
      • Allows legacy applications to run unmodified, enabling systems to be modernized with increased information sharing and security
      • Designed from the ground up to minimize life-cycle costs (initial and tech refresh) of high-assurance evaluation, certification, and accreditation by using automated tools and the correct-by-construction methodology for formal methods and artifacts
    • Application Platform 2.0 on LynxSecure
      To make cloud computing more secure, the TransLattice Application Platform 2.0 was ported onto the latest version of the LynxSecure separation kernel and hypervisor (+)

      Features:

      • Essentially LynuxWorks takes the concept of partitioning, which isolates individual applications into separate partitions so they are protected if another application is hit by a form of malware
      • The attacks are limited to a single partition
      • Communication between each partition is controlled by policies set by the system administrator and secured via another LynuxWorks tool called “LynxSecure,â€? which enables multiple guest operating systems and their applications to run securely on a single platform
  • Open Kernel Labs  (2)
    • OKL4 Microvisor
      OKL4 is a microkernel-based embedded hypervisor - called a microvisor, supporting mobile virtualization, componentization, and security. (+)

      Features:

      42732.jpg
      • Virtualization: Using unique Secure HyperCell Technology, OKL4 can host VMs consisting of complete OSes and software stacks, down to stand-alone device drivers or other bare metal code in individual, isolated cells. Code inside a cell executes in unprivileged mode, with hardware memory protection isolating cells from one another. Fine grained control over resource allocation, communication, and security makes development easier, software more reliable, and systems more secure
      • Microkernel-based: By building on a microkernel architecture, the OKL4 Microvisor offers mobile OEMs not just high performance mobile virtualization, but opportunities to segment applications into smaller, more secure, and more manageable software components
      • This results in software that is easier to develop, more reliable, and more secure
    • Joint initiative for Secure COTS Mobile Platform
      OK Labs and Fixmo Inc.'s new “joint initiative to create and commercialize a highly secure COTS mobile platform” (+)

      Features:

      47654.jpg
      • Targets civilian, federal government, and military needs, and will culminate in a “reference solution” – for tablet and smartphone OEMS – that melds system software, firmware, and mobile virtualization for information assurance
      • The primary goal is to isolate the organization's apps and data from the operator's personal user stuff
      • The new initiative's progeny platform will include Fixmo's Sentinel security monitoring software running on an OKL4 Microvisor-based independent virtual machine to, once again, keep secure things separate on a single mobile device
  • Lynx Software Technologies  (1)
    • LynxSecure Separation Kernel Hypervisor
      LynxSecure is an embedded high performance Separation Kernel Hypervisor. LynxSecure provides bare-metal virtualization and robust partitioning capabilities to support the most stringent security and safety requirements found in military, avionics, automotive, medical, and industrial systems. LynxSecure features a portable and customizable architecture that gives OEM developers the transparency and control over computing platforms to build real-time, robust, high availability solutions and deploy over a vast selection of computing platforms. Originally designed and developed to meet the exacting security needs of the Department of Defense (DoD) and deterministic requirements of the avionics community, LynxSecure provides the ability to concurrently run general purpose and real-time operating systems on a single computing platform. LynxSecure is packaged with development and configuration tools that offer real-time and granular control over hardware platform resources for managing guest OS resource allocation, execution scheduling, and intercommunication. With support for multi-process, multi-threaded, and multi-core environments, LynxSecure easily scales from small embedded systems to large enterprise deployments. (+)

      Features:

      349790773242197208.jpg
      • Full Guest OS Virtualization
      • Trusted Application Protection
      • Multi-channel Network Isolation
  • BlackBerry QNX  (1)
    • QNX Software Development Platform (SDP)
      QNX SDP 7.0 is BlackBerry's most advanced and secure embedded software platform. It provides high performance and enhanced kernel-level security through an array of features, including microkernel architecture, file encryption, adaptive time partitioning, a high availability framework, anomaly detection, and multi-level policy-based access control. QNX SDP 7.0 provides a realtime OS platform that supports 64-bit for the ARMv8 and Intel x86-64 architectures supported by virtualization capabilities through the QNX Hypervisor. (+)

      Features:

      3684524928614589214.jpg
      • The OS offers a safety pedigree proven by certification to ISO 26262 ASIL D for auto, IEC 61508 SIL 3 for industrial, and IEC 62304 for medical. [...]
  • OpenSynergy GmbH  (1)
    • COQOS Release 5.0
      The COQOS 5.0 version supports the new Freescale processor i.MX 6Q. This processor is based on the ARM Cortex-A9 multicore architecture. COQOS is based on separation kernel that creates logical partitions, in which the various operating systems can run safely and independently of each other. In addition, the virtualization technology simplifies the management of the hardware resources, because the microkernel controls how the various partitions can optimally share the performance of the multicore processor. (+)

      Features:

      205909274606895765.jpg
      • Safe and secure integration of infotainment into the car
      • Seamless integration into an AUTOSAR-compatible car environment
      • Integration of Linux- and Android-based software frameworks
  • LynuxWorks  (1)
    • LynxSecure 3.1
      An upgraded version of the LynxSecure separation kernel and embedded hypervisor (+)

      Features:

      • Includes guest operating support for the latest Microsoft Windows and the latest Intel Core 2 Duo systems
      • As with prior versions, LynxSecure 3.1 can virtualize the underlying hardware to enable multiple, heterogeneous operating systems (OS) to coexist on the same platform
      • This mix can include traditional desktop OSs like fully virtualized Windows and para-virtualized Linux, along with hard real-time OSs like the LynxOS RTOS family
  • Wind River Systems, Inc.  (1)
    • Linux 3.0
      Wind River Linux is the standard commercial-grade Linux operating system for embedded device development (+)

      Features:

      • Based on Linux kernel 2.6.27 and GCC 4.3.2, Wind River Linux 3.0 provides a flexible and pervasive development environment
      • This release offers more than 500 software packages, virtualization based on Kernel-based Virtual Machine (KVM), and multicore offload capabilities, allowing customers to utilize the potential of modern multicore hardware
      • Wind River Linux is a complete, fully tested, and validated distribution, allowing device software developers to achieve more with fewer resources
  • Microware LP  (1)
    • OS-9 Real-Time Operating System
      High-performance, high-availability real-time operating system platform (+)

      Features:

      298974318423751100.jpg
      • Full-featured operating system framework, including the OS kernel, kernel services, and industry-standard APIs, middleware, and a complete IDE-based development framework
      • OS-9 and user applications can run completely out of ROM/Flash, leaving RAM dedicated for operating systems or other program use
      • OS-9 applications are written as self-contained modules and are not linked in as a single monolithic code base with the kernel
  • Red Bend Software  (1)
    • VLX Mobile Virtualization Software
      Supports Cortex-A15 processor capabilities, including: (+)

      Features:

      46224.jpg
      • Hardware-assisted virtualization
      • 40-bit addressing
      • The latest ARMv7-A instruction set [...]
  • TransLattice  (1)
    • Application Platform 2.0 w/LynxSecure
      To make cloud computing more secure, TransLattice Application Platform 2.0 was ported onto the latest version of the LynxSecure separation kernel and hypervisor (+)

      Features:

      • Essentially LynuxWorks takes the concept of partitioning, which isolates individual applications into separate partitions so they are protected if another application is hit by a form of malware
      • The attacks are limited to a single partition
      • Communication between each partition is controlled by policies set by the system administrator and secured via another LynuxWorks tool called “LynxSecure,â€? which enables multiple guest operating systems and their applications to run securely on a single platform
  • Micro Digital, Inc.  (3)
    • pmDOS
      A replacement for DOS and DOS extenders (+)

      Features:

      • Developed for embedded applications, that have outgrown the limitations of DOS
      • Allows smooth migration to 16-bit protected mode
      • Larger address space
    • SMX.Blaze RTOS
      SMX.Blaze provides an integraged solution that is small, ppwerfull, and low-cost (+)

      Features:

      30632.jpg
      • Ideal for networked products that are migrating upward from 8-bit and 16-bit processors, as well as for low to mid-range, 32-bit embedded systems
      • SMX-Blaze currently support ARM, ColdFire, and x86 processors
      • Blaze fits within 50 KB flash and 10 KB RAM for a full TCP/IP stack with multitasking
    • SMX Modular RTOS & Tools That Work Together
      Hard real-time multitasking (+)

      Features:

      • File management
      • Networking
      • User interface
  • Quadros Systems, Inc.  (2)
    • RTXCDSP
      A real-time operating system kernel targeting Star (+)

      Features:

      • Core SC100-based applications
      • Modular architecture allows users to optimize their DSP-based embedded designs by matching scheduler architecture attributes with application requirements
      • A single-stack module provides multithreading and level-specific thread priorities for linear processes using static kernel objects
    • RTXC for DSP 56xxx
      A real-time multi-tasking kernel (RTXC) for Motorola's DSP 56303/307/309/EVM digital signal processors (+)

      Features:

      • Motorola's Suite56 Software Development Tools include a processor simulator, C compiler, assembler and linker, and a hardware debugger
      • This suite of tools and RTXC form a new embedded development environment
      • Features include: (1) small code footprint of about 1,500 to 4,500 words; (2) full source code and no run-time royalties; (3) support of nested interrupts; (4) extensive interrupt handling models and examples; (5) macros to simplify the creation of interrupt service routines; (6) support for mixed assembly language and C programming; and (7) a GUI-driven system generation utility that allows specification and generation of RTXC system objects without having to know the internals of the kernel objects
  • SYSGO AG  (2)
    • PikeOS
      Paravirtualization real-time operating system based on a separation microkernel (+)

      Features:

      33227.jpg
      • Supports multiple additional operating systems and runtime environments, such as Linux, ARINC 653, and POSIX, together with their associated applications
      • All OSs and RTEs run concurrently and cooperatively in their own partitions
      • The native design of the separation microkernel specifically addresses the requirements of safe and secure systems
    • ELinOS
      ELinOS is a comprehensive development environment for embedded Linux software development (+)

      Features:

      • Unlike traditional Linux distributions, SYSGO's ELinOS is purpose-built for use in demanding industrial applications
      • SYSGO brings 15+ years of field expertise to make an embedded Linux offering well suited for real-world complex applications, and to back it up with world-class support
      • Many BSPs corresponding to the most successful boards on the market are included as well as BSPs for virtualization engines such as QEMU and VMware, or for the other SYSGO flagship product PikeOS
  • General Micro Systems, Inc.  (2)
    • RAMP
      Software to extend the multiprocessing capabilities of real-time operating systems (+)

      Features:

      • RAMP (Real-time Asymmetric Multi Processing) software features an API and microkernel to distribute programs across multiple CPUs on a single board
      • Consists of two separate software modules: the first is contained within the VxWorks BSP and contains the code required to implement the Master processor control features of RAMP, and the second module, a microkernel, loads on to the slave processor and starts the multitasking environment
      • Allows up to 31 processors to execute separate tasks
    • Axion (S279)
      The fastest, super compact, rugged, Intel based server class system available (+)

      Features:

      46680.jpg
      • Two, Quad Core LP Xeon processors, operating up to 2.7 GHz or; two, Dual Core Xeon processors, operating up to 3 GHz
      • Up to 32 GBytes of 144bit ECC DDR2 high-speed memory
      • Supports Intel's Virtualization Technology (VT) for highest performance
  • JMI Software Systems, Inc.  (1)
    • C EXECUTIVE
      A real-time, multi-tasking, ROMable kernel for embedded systems (+)

      Features:

      • Available for 8-bit, 16-bit, and 32-bit CISC processors, a wide variety of RISC processors, and DSP
      • Provides fast context switching, small kernel size, and support for over 20 processors
      • Optional DOS-compatible file system, TCP/IP, and SNMP are available
  • Blunk Microsystems  (1)
    • TargetOS
      A full-featured, real-time operating system for embedded applications (+)

      Features:

      • Multitasking; supports implementing real-time applications as multiple semi-autonomous tasks
      • Tasks are always in one of five states: running, ready, blocked, suspended, or delayed
      • Priority-based; tasks are implemented as lightweight threads assigned a priority at time of creation
  • Green Hills Software, Inc.  (4)
    • µ-velOSity
      An ultra-small, ultra-fast, royalty-free microkernel for Analog Devices Blackfin embedded processor (+)

      Features:

      • Ideal fit for high-volume, performance-critical, power-sensitive applications
      • ROM footprint as small as 2,200 bytes, RAM footprint as small as 1,000 bytes, and service call times as low as 30 cycles
      • Highly suitable for multi-format audio, video, voice, and image processing, multi-mode baseband and packet processing, control processing, and real-time security
    • INTEGRITY 10
      The 10th anniversary edition of the INTEGRITY RTOS (+)

      Features:

      • Features new security, performance, and usability features
      • Suitable for a wide range of industries including consumer, networking, medical, automotive, industrial, and avionics
      • Supports Symmetric MultiProcessing (SMP) wherein the operating system will automatically load balance applications across multiple cores on SMP-capable processors such as the Freescale Power Architecture-based 8641D
    • Platform for Secure Networking
      A secure networking platform (+)

      Features:

      • Based on the safety- and security-certified INTEGRITY real-time operating system and its U.S.-developed IPv4/v6 networking stack
      • Features industry advancements in secure communications and access that allow networking equipment developers to completely secure their devices and the information flowing through them
      • Separation kernel architecture allows for fault isolation and containment and fast system recovery
    • velOSity microkernel
      Small, fast, and royalty-free, making it suitable for cost-sensitive, high-volume, and resource-constrained embedded applications (+)

      Features:

      • Rich set of kernel services, device drivers, board support packages (BSPs), and middleware, including IPv4, IPv6, IPsec, SSL, SSH, Web server, CORBA, and graphics
      • Software developed for the velOSity microkernel is 100 percent upwards compatible with the INTEGRITY RTOS
      • State-of-the-art architecture never disables interrupts in systems calls for the absolute minimum interrupt latency
  • Arcom Control Systems, Inc.  (1)
    • Target386EX
      Compact computer controller with real-time optimizations, available in two versions (+)

      Features:

      • PC/104 only, or PC/104 plus STEbus for high I/O functionality
      • Based on 33 MHz 386EX processor with on-chip watchdog, timers, serial and parallel I/O facilities
      • 512 Kbytes flash memory, up to 512 Kbytes SRAM and power monitor
  • Radisys Corporation  (1)
    • Microware OS-9 for MBX
      Integrated system software and development tool package specifically for Motorola MBX821 and MBX860 Entry and Standard version boards (+)

      Features:

      • Scalable OS-9-based RTOS architecture with multitasking real-time OS-9 kernel, flexible networking using mwSoftStax, TCP/IP support, mwMAUI multimedia support, LCD, SVGA/VGA, PCMCIA support by SystemSoft
      • Full C/C++ IDE for Windows with Codewright Editor/Project Manager, FasTrak Debugger, and Ultra C/C++ Compiler [...]
  • N.A.T. GmbH  (1)
    • MS360-SIO
      An intelligent Serial Line I/O M-Module with up to four serial communication channels configured as either RS-232, RS-422, or RS-485 (+)

      Features:

      8267.jpg
      • RS-422 and RS-485 channels can be used in either half or full duplex mode
      • MC68360/25 MHz integrated communication controller
      • Up to 4 Mbytes of dual ported DRAM
  • Micro/sys, Inc.  (2)
    • DIVVY
      A multitasking library for C and Basic (+)

      Features:

      • Simultaneous run-time execution of separately coded tasks
      • More than 65,000 tasks supported
      • 250 priority levels supported
    • CommBLOK
      An RS232/RS485 async comm library for C and Basic (+)

      Features:

      • Buffered, interrupt-driven
      • Up to 4 PC-compatible COM ports
      • Full line configuration and control
  • Eonic BV  (1)
    • Virtuoso 4.1
      An integrated development environment for real-time embedded systems that includes a four-layer, microkernel-based RTOS that is optimized for DSP and ASIC cores (+)

      Features:

      3224.jpg
      • Requires 2 Kwords to 10 Kwords of memory, and supports DSPs and RISC cores from Analog Devices, ARM, Infineon, and Texas Instruments
      • Tool suite includes a project manager, a kernel-optimizing system generation tool, and graphical analysis and debugging tools for DSPs
      • Scheduling options include round robin with prioritization, time-slicing, and prioritized, preemptive scheduling
  • InForce Computing, LLC  (1)
    • Inforce 6501 Micro SOM
      Inforce Computing’s highest performing Micro System-on-Module (SOM) is based on Qualcomm’s Snapdragon 805 processor (APQ8084) in the world’s smallest Snapdragon module. The plug-and-play Inforce 6501 Micro-SoM comes in an ultra-small form factor of 28mm x 50mm. The Snapdragon 805 processor is the first commercial mobile-grade processor to support 4K Ultra HD display, including 4K Ultra HD UI and hardware assisted 4K Ultra HD video capture and playback realistic 3D gaming, and up to 55MP camera support. (+)

      Features:

      • Tiny form factor of 28mm x 50mm, yet packs a punch in CPU/GPU/DSP compute power
      • Quad core Krait 450 CPU running at 2.7GHz; Adreno 420 GPU @4.8 Giga Pixels/second for excellent graphics; Hexagon DSP v50 @600MHz for low power computer vision and audio processing
      • Dual Image Signal Processors (ISPs) @1.2GP/s and support for 3 cameras up to 55MP
  • Micron Digital  (1)
    • SMX RTOS
      Wireless communication is fundamental for IoT. Wi-Fi is popular and offers high throughput and long range (250 m), making connection convenient even when devices are not in immediate proximity to one another. We were among the first developers of an embedded Wi-Fi 802.11 stack, releasing smxWiFi in mid-2008. It supports 802.11a/b/g/i/n, and has drivers for most of the MediaTek/Ralink USB chipsets. Any combination of drivers may be used in the system, and smxWiFi will automatically select the correct one for the Wi-Fi dongle plugged in. (+)

      Features:

      292254994751229237.jpg
      • smxWiFi 802.11a/b/g/i/n with P2P, WSC, SoftAP
      • smxWiFi supports MediaTek/Ralink chipsets: USB – MT7601, RT5572, RT5370, RT3572, RT3070, RT2870, and RT2573; PCI – RT2860
      • TCP/IP supports IPv6, mDNS (e.g. Bonjour and Avahi), SNMPv3, SNTP, Web, and many more protocols; drivers for many SoC Ethernet controllers
10/28/20 04:45
Close

Subscribe to Virtualization updates