Skip to content
Change the repository type filter

All

    Repositories list

    • C
      Other
      1200Updated Oct 13, 2024Oct 13, 2024
    • "Temporary" fork of rumprun-packages (http://github.com/rumpkernel/rumprun-packages) that includes Makefile targets for solo5
      Makefile
      Other
      4000Updated Oct 8, 2024Oct 8, 2024
    • Shell
      0000Updated Oct 5, 2024Oct 5, 2024
    • A GitHub action that allows you to upload artifacts to a MinIO server
      Shell
      2100Updated Oct 5, 2024Oct 5, 2024
    • rumprun

      Public
      "Temporary" fork of rumprun (http://github.com/rumpkernel/rumprun) that includes a solo5 backend
      C
      Other
      5200Updated Aug 29, 2024Aug 29, 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
      47000Updated 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
    • A minimalist blog theme for hugo.
      SCSS
      MIT License
      1.1k000Updated Jan 4, 2023Jan 4, 2023
    • Stupidly simple Hugo blogging theme
      CSS
      MIT License
      130000Updated Dec 19, 2022Dec 19, 2022
    • Shell
      Apache License 2.0
      330018Updated Aug 3, 2022Aug 3, 2022
    • Secure and fast microVMs for serverless computing.
      Rust
      Apache License 2.0
      1.8k220Updated Jun 2, 2022Jun 2, 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
      92000Updated Jun 2, 2021Jun 2, 2021
    • Dockerfile
      0000Updated May 9, 2021May 9, 2021
    • runnc

      Public
      OCI-interfacing Container runtime for Nabla Containers
      Go
      ISC License
      22100Updated 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
      393000Updated 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
      374000Updated 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
      Apache License 2.0
      113000Updated 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
      54k000Updated Dec 18, 2020Dec 18, 2020
    • CSS
      0000Updated Aug 9, 2020Aug 9, 2020