Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Vivek Yadav, an engineering manager from ...

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 ...

The Chinese smartphone manufacturer Huawei has finally launched its much-awaited new operating system - HarmonyOS. The new microkernel-based distributed operating system was unveiled at the Huawei ...

eSpeaks’ Corey Noles talks with Rob Israch, President of Tipalti, about what it means to lead with Global-First Finance and how companies can build scalable, compliant operations in an increasingly ...

VelOSity, the microkernal foundation of Green Hills Software's INTEGRITY real-time operating system has been made available as a royalty free product. Shipping previously as the INTEGRITY kernel, the ...

OKL4, Open Kernel Labs' commercial version of the L4 microkernel, provides the required features for next-generation medium- to high-end embedded systems. These include virtualization and protection ...

The open-source OKL4 microkernel, developed by Australia's Center of Excellence for Information and Computing Technology (NICTA), is about to receive a strong commercial push. Open Kernel (OK) Labs, a ...

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 ...

The University of NSW’s Trustworthy Systems research group has announced a collaboration with UAE-based Secure Systems Research Center (SSRC) to adopt its seL4 secure microkernel technology. The ...