Skip to content
Change the repository type filter

All

    Repositories list

    • Shell
      0000Updated Apr 15, 2026Apr 15, 2026
    • "Temporary" fork of rumprun-packages (http://github.com/rumpkernel/rumprun-packages) that includes Makefile targets for solo5
      Makefile
      Other
      4000Updated Mar 3, 2026Mar 3, 2026
    • A minimalist blog theme for hugo.
      SCSS
      MIT License
      1.2k000Updated Jun 22, 2025Jun 22, 2025
    • rumprun

      Public
      "Temporary" fork of rumprun (http://github.com/rumpkernel/rumprun) that includes a solo5 backend
      C
      Other
      5200Updated May 12, 2025May 12, 2025
    • A GitHub action that allows you to upload artifacts to a MinIO server
      Shell
      2100Updated May 10, 2025May 10, 2025
    • Secure and fast microVMs for serverless computing.
      Rust
      Apache License 2.0
      2.3k220Updated Dec 7, 2024Dec 7, 2024
    • unikraft

      Public
      Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)
      C
      Other
      1.5k000Updated Aug 13, 2024Aug 13, 2024
    • our HEDGE linux-patches for various versions
      0060Updated Feb 12, 2024Feb 12, 2024
    • vaccel-grpc

      Public archive
      gRPC implementation of the vaccel API
      Rust
      Apache License 2.0
      0000Updated May 17, 2023May 17, 2023
    • ttrpc-rust

      Public archive
      Rust implementation of ttrpc (GRPC for low-memory environments)
      Rust
      Apache License 2.0
      59000Updated Apr 7, 2023Apr 7, 2023
    • vaccel-bindings

      Public archive
      Rust bindings for virtio accel runtime
      RenderScript
      Apache License 2.0
      1101Updated Apr 6, 2023Apr 6, 2023
    • Shell
      0200Updated Feb 17, 2023Feb 17, 2023
    • cloudkernels blog
      HTML
      0000Updated Jan 30, 2023Jan 30, 2023
    • vaccel

      Public
      A meta repo for gathering all the necessary components for running (and releasing) a vaccel environment
      Shell
      21062Updated Jan 19, 2023Jan 19, 2023
    • Stupidly simple Hugo blogging theme
      CSS
      MIT License
      127000Updated Dec 19, 2022Dec 19, 2022
    • Shell
      Apache License 2.0
      330018Updated Aug 3, 2022Aug 3, 2022
    • A simple "Hello World" application written in C
      C
      Other
      40000Updated May 14, 2022May 14, 2022
    • Patches and instructions for enabling KVM on the Nvidia Jetson AGX Xavier/Nano
      5001Updated May 4, 2022May 4, 2022
    • packaging

      Public
      Kata Containers version 1.x packaging (for version 2.x see https://github.com/kata-containers/kata-containers).
      Shell
      Apache License 2.0
      89000Updated Jun 2, 2021Jun 2, 2021
    • Dockerfile
      0000Updated May 9, 2021May 9, 2021
    • runnc

      Public
      OCI-interfacing Container runtime for Nabla Containers
      Go
      ISC License
      23100Updated May 7, 2021May 7, 2021
    • Rust
      0000Updated Apr 23, 2021Apr 23, 2021
    • This will run the new self-hosted github actions runners with docker-in-docker
      Shell
      MIT License
      461000Updated Feb 16, 2021Feb 16, 2021
    • runtime

      Public
      Kata Containers version 1.x runtime (for version 2.x see https://github.com/kata-containers/kata-containers).
      Go
      Apache License 2.0
      367000Updated Feb 6, 2021Feb 6, 2021
    • agent

      Public
      Kata Containers version 1.x agent (for version 2.x see https://github.com/kata-containers/kata-containers). Virtual Machine agent for hardware virtualized conta…
      Go
      Apache License 2.0
      109000Updated Feb 6, 2021Feb 6, 2021
    • Mirror of NetBSD sources useful with rump kernels
      C
      34000Updated Jan 14, 2021Jan 14, 2021
    • Automatization of building certain components using docker
      Dockerfile
      1001Updated Dec 19, 2020Dec 19, 2020
    • linux

      Public
      Linux kernel source tree
      C
      Other
      62k000Updated Dec 18, 2020Dec 18, 2020
    • CSS
      0000Updated Aug 9, 2020Aug 9, 2020
    • A crate for safe wrappers over the cryptodev API
      Rust
      0000Updated May 29, 2020May 29, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.