Showing 10 open source projects for "kernel os"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 1
    Tock OS

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Hermit Kernel

    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.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    LiteBox

    LiteBox

    A security-focused library OS supporting kernel execution

    LiteBox is a security-focused “library OS” sandboxing project that aims to shrink the interface between an application and its host environment to reduce attack surface. Instead of relying solely on broad OS-level permissions, it focuses on isolating workloads by tightly controlling the boundary where code interacts with host services and system resources. The design emphasizes interoperability across different integration layers, describing a separation between “North” shims (how apps or runtimes plug in) and “South” platforms (where the sandbox runs), which helps the system adapt to multiple deployment contexts. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Moss

    Moss

    Rust Linux-compatible kernel

    Moss Kernel is an open-source operating system kernel project designed to explore modern OS design and provide a foundation for experimental system research and development. Rather than replicating traditional monolithic kernels exactly, it emphasizes modularity, safety, and simplicity by incorporating well-structured subsystems for memory management, scheduling, and device abstraction that are easy for contributors to understand and extend.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 5
    eduOS-rs

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Vinari OS 5.0.0 KRYPTON

    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...
    Leader badge
    Downloads: 55 This Week
    Last Update:
    See Project
  • 7
    BerserkArch

    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.
    Downloads: 85 This Week
    Last Update:
    See Project
  • 8
    Felix OS

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    LibertyOS

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 10
    Kerla

    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next