Search Results for "reliability"

...Redox aims to synthesize years of research and hard won experience into a system that feels modern and familiar. Redox is an attempt to make a complete, fully-functioning, general-purpose operating system with a focus on safety, freedom, reliability, correctness, and pragmatism. We want to be able to use it, without obstructions, as an alternative to Linux on our computers. It should be able to run most Linux programs with only minimal modifications. We're aiming towards a complete, safe Rust ecosystem.

syzkaller is Google’s coverage-guided, feedback-driven kernel fuzzer designed to uncover reliability and security bugs in operating system kernels at scale. It automatically generates, mutates, and minimizes system call programs, then drives them through a specialized executor (syz-executor) to exercise deep kernel paths. The system integrates tightly with sanitizers such as KASAN, KMSAN, KCSAN, and UBSAN to surface memory safety, concurrency, and undefined behavior issues with actionable reports. ...

Break free from hardware restrictions and forced upgrades. Winux is the definitive successor for Windows 10 users seeking performance and reliability. Featuring an Intuitive Familiar Interface and Native Compatibility for your essential software.

Linux Test Project (LTP) is a joint project started by SGI, OSDL and Bull developed and maintained by SUSE, Red Hat, Fujitsu, IBM, Cisco, Oracle and others. The project goal is to deliver tests to the open source community that validate reliability, robustness, and stability of the Linux Kernel. The testing suites contain a collection of tools for testing the Linux kernel and related features. Our goal is to improve the Linux kernel and system libraries by bringing test automation.

...It features multitasking, low-level control, and Wiring compatible functions to harness the full power of the Cortex. With a real-time kernel based on FreeRTOS and a development environment built on Eclipse CDT, PROS uses proven software to increase the reliability and usability of the VEX development system across all three major computing platforms. PROS is currently under active development to make it usable for VEX high school and middle school teams. PROS is intended for advanced VEX users seeking to move beyond competing environments. Eclipse and FreeRTOS have their own licensing agreements. ...

An operating system kernel written in C# with a strong focus on security, reliability, and maintainability.

Components supporting real-time, reliability, high-availability, and security services in standard operating environments. Starting with the C5 modular microkernel, a RT-POSIX layer based on FreeBSD 4.1, and the CDE cross-development environment.