/maintainer-tools

Unikraft maintainer tools

Primary LanguageShell

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.