Computerworld

Data61 ports seL4 microkernel to RISC-V architecture

The port is only in prototype stage and according torelease notes “currently only supports running in 64-bit mode without FPU or multicore support on the Spike simulation platform.” “There is no ...
Design-Reuse

Application Specific Real-Time Microkernel in Hardware

Real-time operating system kernels in embedded systems need to be configurable. Unfortunately many of today's commercial real-time kernels are monolithic. These optimized code packages are difficult ...
EDN

Open Kernel Labs OKL4, the Open Source Embedded Systems Software and Virtualization Technology, Now Supports ARMv6 Architecture

Chicago and Sydney, Australia, November 29, 2007 — Open Kernel Labs, a global provider of embedded systems software and virtualization technology, and part of the ARM® Connected Community, announces ...
Electronic Design

Create Hard Real-Time Tasks With Precision Under Linux

System development uses a microkernel architecture and Linux run-time environment to achieve high-speed performance. For many applications, employing common programming techniques—such as memory ...
Android

Android devices could get Fuchsia OS, but not as you expect

Google could integrate Fuchsia OS into Android devices after all. However, probably not as you imagine, but in a more discreet way. Everything would revolve around the microfuchsia project. A ...
EDN

Embedded Systems Security – Part 1: Security requirements

Because the operating system controls the resources (e.g., memory, CPU) of the embedded system, it has the power to prevent unauthorized use of these resources. Conversely, if the operating system ...