Showing 13 open source projects for "kernel"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Context for your AI agents Icon
    Context for your AI agents

    Crawl websites, sync to vector databases, and power RAG applications. Pre-built integrations for LLM pipelines and AI assistants.

    Build data pipelines that feed your AI models and agents without managing infrastructure. Crawl any website, transform content, and push directly to your preferred vector store. Use 10,000+ tools for RAG applications, AI assistants, and real-time knowledge bases. Monitor site changes, trigger workflows on new data, and keep your AIs fed with fresh, structured information. Cloud-native, API-first, and free to start until you need to scale.
    Try for free
  • 1
    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: 0 This Week
    Last Update:
    See Project
  • 2
    KMON

    KMON

    Linux Kernel Manager and Activity Monitor

    The kernel is the part of the operating system that facilitates interactions between hardware and software components. On most systems, it is loaded on startup after the bootloader and handles I/O requests as well as peripherals like keyboards, monitors, network adapters, and speakers. The Linux kernel is the open-source, monolithic, and, Unix-like operating system kernel that is used in the Linux distributions, various embedded systems such as routers, and as well as in all Android-based systems. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Nitro Enclaves Command Line Interface

    Nitro Enclaves Command Line Interface

    Tooling for Nitro Enclave management

    This repository contains a collection of tools and commands used for managing the lifecycle of enclaves. The Nitro CLI needs to be installed on the parent instance, and it can be used to start, manage, and terminate enclaves. The Nitro Enclaves kernel driver is available in the upstream Linux kernel starting with the v5.10 kernel for x86_64 and starting with the v5.16 kernel for arm64. The codebase from the 'drivers/virt/nitro_enclaves' directory in this GitHub repository is similar to the one merged into the upstream Linux kernel. The enclaves do not have access to a physical disk, just a RAM filesystem. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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: 2 This Week
    Last Update:
    See Project
  • Fully managed relational database service for MySQL, PostgreSQL, and SQL Server Icon
    Fully managed relational database service for MySQL, PostgreSQL, and SQL Server

    Focus on your application, and leave the database to us

    Cloud SQL manages your databases so you don't have to, so your business can run without disruption. It automates all your backups, replication, patches, encryption, and storage capacity increases to give your applications the reliability, scalability, and security they need.
    Try for free
  • 5
    eduOS-rs

    eduOS-rs

    A teaching operating system written in Rust

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

    CachyOS

    Blazingly Fast & Customizable Linux distribution

    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 -...
    Leader badge
    Downloads: 6,039 This Week
    Last Update:
    See Project
  • 7
    PrismLinux
    Website: https://prismlinux.org Discord: https://discord.gg/hMrWsTpdqw
    Leader badge
    Downloads: 174 This Week
    Last Update:
    See Project
  • 8
    BerserkArch

    BerserkArch

    A bleeding-edge, security-centric Arch-based Linux distribution.

    ...Following the Arch Linux philosophy, it is designed to be highly customizable, allowing users to build their environment with only the components they need, rather than having a lot of pre-installed software like some other security distributions (e.g., Kali Linux). 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.
    Leader badge
    Downloads: 109 This Week
    Last Update:
    See Project
  • 9
    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: 180 This Week
    Last Update:
    See Project
  • Automated RMM Tools | RMM Software Icon
    Automated RMM Tools | RMM Software

    Proactively monitor, manage, and support client networks with ConnectWise Automate

    Out-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
    Learn More
  • 10
    NebiOS Alternative Mirror (Official)

    NebiOS Alternative Mirror (Official)

    An Ubuntu Linux-based OS that aims to end user.

    NebiOS is Ubuntu-based secure, privacy-focused universal OS for daily life, creativity, gaming & more. Official mirror - use if main site has download issues. Main site: https://nebios.org ⚠️ DON'T DOWNLOAD FROM UNKNOWN SOURCES! 🛡️ Privacy: NebiOS has no telemetry, no background data services, no tracking daemons, and cannot send any personal data without user action. Full policy: nebisoftware.com/legal/privacy.html === 🚀 NebiOS X out now! ⚠️ Note on Virtual Machines:...
    Leader badge
    Downloads: 47 This Week
    Last Update:
    See Project
  • 11
    LibertyOS

    LibertyOS

    The kernel for LibertyOS

    ...The kernel reflects these values through clean code, modular design, and a focus on fundamental security practices.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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
  • 13
    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 fully Rust-based kernel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next