Search Results for "secure os"

Tock is a secure, embedded operating system designed for microcontrollers and low-power hardware platforms. Written in Rust, it uses a novel kernel architecture where the OS runs a minimal trusted core and all userland code, including device drivers, is sandboxed and isolated. Tock is ideal for IoT devices, wearables, and embedded research projects where reliability and safety are critical.

Bottlerocket is a free and open-source Linux-based operating system meant for hosting containers. Bottlerocket focuses on security and maintainability, providing a reliable, consistent, and safe platform for container-based workloads. This is a reflection of what we've learned building operating systems and services at Amazon. The base operating system has just what you need to run containers reliably, and is built with standard open-source components. Bottlerocket-specific additions focus...

Hermit-RS is a Rust-based unikernel designed for high-performance and cloud computing applications. By combining the safety and concurrency features of Rust with the minimalistic approach of unikernels, Hermit-RS offers a secure and efficient runtime environment. It is particularly suited for running single-tenant applications directly on hypervisors or bare-metal hardware, reducing overhead and improving performance.

A minimal, terminal-only live ISO based on Debian 13 (Trixie) crafted for two critical missions: bulletproof testing of the full Kodachi toolchain and operating as a dedicated SOCKS proxy gateway for your network. Built for power users, hardened servers, and elegant headless deployments. https://www.kodachi.cloud/wiki/bina/terminal-version.html https://www.kodachi.cloud/wiki/bina/index.html

LibertyOS Kernel is the core component of the LibertyOS operating system project, focused on creating a secure, privacy-respecting OS from the ground up. Written primarily in C and C++, the kernel is being developed to support modern hardware, incorporate essential system services, and maintain transparency in design. LibertyOS is built with an emphasis on user freedom, aiming to avoid corporate tracking, offer user-centric control, and provide a robust alternative to mainstream operating systems. ...