Skip to content
Change the repository type filter

All

    Repositories list

    • "Temporary" fork of rumprun-packages (http://github.com/rumpkernel/rumprun-packages) that includes Makefile targets for solo5
      Makefile
      4000Updated Dec 12, 2025Dec 12, 2025
    • A minimalist blog theme for hugo.
      SCSS
      1.2k000Updated Jun 22, 2025Jun 22, 2025
    • rumprun

      Public
      "Temporary" fork of rumprun (http://github.com/rumpkernel/rumprun) that includes a solo5 backend
      C
      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
    • Shell
      0000Updated May 10, 2025May 10, 2025
    • Secure and fast microVMs for serverless computing.
      Rust
      2.2k220Updated Dec 7, 2024Dec 7, 2024
    • unikraft

      Public
      Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)
      C
      1.4k000Updated 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
      0000Updated May 17, 2023May 17, 2023
    • ttrpc-rust

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

      Public archive
      Rust bindings for virtio accel runtime
      RenderScript
      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
      130000Updated Dec 19, 2022Dec 19, 2022
    • Shell
      330018Updated Aug 3, 2022Aug 3, 2022
    • A simple "Hello World" application written in C
      C
      41000Updated 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
      90000Updated Jun 2, 2021Jun 2, 2021
    • Dockerfile
      0000Updated May 9, 2021May 9, 2021
    • runnc

      Public
      OCI-interfacing Container runtime for Nabla Containers
      Go
      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
      442000Updated 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
      368000Updated 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 containers
      Go
      110000Updated 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
      60k000Updated 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