Search Results for "kernel os"
Sort By:
Showing 8 open source projects for "kernel os"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
1
Tock OS
A secure embedded operating system for microcontrollers
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 multiple applications on constrained devices with confidence in memory and fault isolation. -
2
Hermit Kernel
A Rust-based, lightweight unikernel
Hermit Kernel is designed to reduce latency and overhead by avoiding traditional OS abstractions, while still providing essential services such as scheduling, memory management, and networking. It bridges the gap between performance-critical applications and the simplicity of unikernel deployment. -
3
eduOS-rs
A teaching operating system written in Rust
eduOS-rs is a teaching operating system written in Rust, developed by RWTH Aachen University to support courses on systems programming and operating systems. It serves as a practical and educational tool that demonstrates key OS concepts like memory management, multitasking, privilege separation, and system call handling in a safe and modern language. Designed to run on x86_64 hardware using QEMU, eduOS-rs leverages Rust’s ownership model and type safety to reduce bugs common in low-level systems development. It is a valuable resource for students and instructors alike, providing clear, structured examples of kernel development. -
4
Vinari OS 5.0.0 KRYPTON
Vinari OS 5.0.0 KRYPTON - Debian 13 Trixie based 64-Bit OS
Vinari OS 5.0.0 KRYPTON represents the next stage in our Debian-based evolution, now built on the 64-bit Debian 13 “Trixie” platform. Designed for both everyday users and developers, this release delivers a polished, reliable, and cohesive experience. At its foundation, Vinari OS 5.0.0 KRYPTON features the modern GNOME desktop environment, refined with practical enhancements such as GSConnect, DashToDock, and other usability-focused extensions. Continuing our focus on simplicity and... -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
5
BerserkArch
A bleeding-edge, security-centric Arch-based Linux distribution.
...As an Arch-based distribution, it benefits from the rolling release model, providing users with the latest software versions and kernel updates. BerserkArch is a dist "designed to make you powerful" for specific use cases like reverse-engineering binaries and automating exploits, rather than being an easy-to-use distribution for general beginners. -
6
Felix OS
Experimental operating system written in Rust
felix is a simple 64-bit hobby operating system written in Rust, designed as an educational and personal exploration into systems programming. It features a monolithic kernel that supports basic multitasking, memory management, and user programs. Built from the ground up with Rust’s strong safety guarantees, felix aims to strike a balance between low-level hardware access and modern software practices. It runs on x86_64 platforms via QEMU and includes a basic shell and ELF binary loader, making it an excellent resource for learning OS fundamentals. -
7
LibertyOS
The kernel for LibertyOS
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. ... -
8
Kerla
A new operating system kernel with Linux binary compatibility
Kerla is an experimental operating system kernel written in Rust with a Linux-compatible syscall interface. It aims to run Linux binaries in user space without relying on a traditional Linux kernel. Kerla combines the safety guarantees of Rust with a familiar POSIX-like programming model, making it a unique exploration into safe systems programming. Though early in development, it supports basic userspace execution and is a promising proof-of-concept for running Linux userland programs in a...
- Previous
- You're on page 1
- Next
