Search Results for "open core"

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. Its capability-based security model and preemptive multitasking allow developers to safely run...

Hermit Kernel is the core component of HermitCore, a Rust-based unikernel that runs directly on hypervisors or bare-metal systems to support high-performance cloud and HPC applications. This repository contains the microkernel’s implementation, optimized for running Rust applications natively in a lightweight, single-address-space environment. Hermit Kernel is designed to reduce latency and overhead by avoiding traditional OS abstractions, while still providing essential services such as...

CachyOS - Arch Linux Based Distribution With Heavy Optimizations & Multi-Architectures For Ultimate Desktop Experience Filesystems: - btrfs - zfs - ext4 - xfs - f2fs Our installer will auto detect which micro architecture your machine got, if x86-64-v3 or x86-64-v4 is detected it will automatically use the optimized packages, which is around a 10 % performance improvement. Desktop Environments: - KDE - CuteFish - i3 - Gnome - Openbox - Wayfire - Xfce - LXQT -...

VasakOS is not just another Linux distribution; it’s a re-imagination of the desktop experience. Built on the solid foundation of Linux, VasakOS introduces a bespoke Desktop Environment engineered from the ground up for speed, beauty, and simplicity. At the heart of VasakOS lies a revolutionary interface developed using Rust for core logic and Vue.js for a fluid, modern UI, all orchestrated through the Tauri framework. This unique combination ensures a minimal resource footprint without...

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

rCore-Tutorial-v3 is an educational project designed to guide learners through the process of building a minimalistic operating system from scratch using the Rust programming language. Targeting the RISC-V architecture, this tutorial emphasizes safety and concurrency, leveraging Rust's features to teach OS fundamentals such as memory management, process scheduling, and file systems. It is structured to provide hands-on experience, making it suitable for both academic settings and self-study.