Bennett/Technical Documentation

Overview

Bennett is a hardware monitor application developed in house at the University of Manchester Computer Science department. It's used in several undergraduate course units investigating hardware design and microcontrollers. It acts as a ‘front-end’ both for simulated (COMP15111) and physical (COMP22712, COMP32211 …) RISC-V systems.

Bennett has been written in primarily C/C++ and uses the CMake build system.

---

Detailed Developer notes

This article is an overview of Bennett and its technical details. For the latest developer documentation, please see https://gitlab.cs.man.ac.uk/cadtools/bennett/-/blob/master/README.md

Development

The source code for Bennett is available from https://gitlab.cs.man.ac.uk/cadtools/bennett

Releases

Latest releases of Bennett are available at https://gitlab.cs.man.ac.uk/cadtools/bennett/-/releases

CI/CD Pipeline

Bennett uses a CI/CD pipeline to run automated tests, and automatically deploy the latest version.

New versions of Bennett are automatically built and deployed to the cadtools server.

   /cadtools5/bennett/version/<GIT_TAG>

Debian packages are available at

   /cadtools5/bennett/version/<GIT_TAG>

The pipeline additional collates required documentation and builds an output document.