unikraft-upb / maintainer-tools

Unikraft maintainer tools

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Unikraft Maintainer Tools

This repository stores scripts and utilities for typical activities performance by Unikraft reviewers and maintainers:

  • Automating testing of functionality of features / pull requests.
  • Easy access to source code and scripts for particular use cases.
  • Debugging and troubleshooting Unikraft builds.

About

Unikraft maintainer tools


Languages

Language:Shell 91.5%Language:Dockerfile 4.1%Language:Makefile 3.1%Language:PHP 0.9%Language:C++ 0.5%