This is a collection of scripts for managing our cluster of Morello boxes as stateless workers for (GitHub) CI/CD pipelines.

• cluster-management describes tooling that scopes over the whole cluster, including the udev machinery to construct stable names for individual nodes' interfaces.

• board-runner describes the machinery for network-booting an individual board over HTTP and pivoting root to a read-only NFS export on the controller node.

• work-bus describes the CI/CD runner glue and some Azure-hosted services for push/pull conversion of work notifications.

This repository is also structured as a Sphinx project; see our notes on that in misc-docs/sphinx.rst for configuration and build instructions.

Trademarks This project may contain trademarks or logos for projects, products, or services. Authorized use of Microsoft trademarks or logos is subject to and must follow Microsoft’s Trademark & Brand Guidelines. Use of Microsoft trademarks or logos in modified versions of this project must not cause confusion or imply Microsoft sponsorship. Any use of third-party trademarks or logos are subject to those third-party’s policies.