Bennett
For technical documentation please see Bennett/Technical Documentation
Requirements
Bennett is currently only available on Linux. The current supported distributions for Linux are Ubuntu, version 22.04 onwards.
Using Benentt
A general user manual for Bennett is available user manual
Specific notes and guides are available for particular course units
Features available
Currently, only the RISC-V Emulator for COMP15111 is supported in this package of Bennett.
Dependencies for using Bennett with MU0/STUMP/RISCV Fpga boards are not included, and so won't run on a home computer.
Computer Science lab machines contain all the required software and libraries, and Bennett can be run from lab computers for interacting with FPGA boards.
High Dpi Displays
For using Bennett on a high DPI display, the following commands can be run before launching Bennett:
export QT_SCALE_FACTOR=2
or for a larger window
export QT_SCALE_FACTOR=3
So for example
export QT_SCALE_FACTOR=3
bennett -m "RISCV"
Download Links
| Linux Distribution | Download Link |
|---|---|
| Ubuntu 22.04 | click for Ubuntu 22.04 download |
Installing Bennett on Ubuntu 22.04
- Download appropriate Bennett package from the above section
- Open a terminal window
- Change to the directory containing the downloaded file, for example
cd ~/Downloads
- run the following command
sudo apt install ./THE_FILE_YOU_JUST_DOWNLOADED.deb
- a specific example at this time is
sudo apt install ./Bennett_0.9.0.1_amd64.deb
- When prompted to install packages, enter 'y'
Uninstalling Bennett
To uninstall Bennett if installed with either of the above two packages, run the following command:
dpkg -r bennett
Running Bennett
Once Bennett is installed on your system, the scripts to start the GUI are available at /opt/bennett/bin/ This path should be added to your system path, either by running the following commands each time you wish to run Bennett.
export PATH=$PATH:/opt/bennett/bin/
start_bennett_151
or appending the below to your ~/.bashrc file.
export PATH=$PATH:/opt/bennett/bin/
Technical support
Support for using Bennett is available by contacting support@cs.manchester.ac.uk.
For bugs,issues and difficulty with installation you should contact support via the given email.
Academic support should be requested from the channels specified by your course unit leader.
Development Guide
Bennett has been developed for use within the department of computer science, as an open source piece of software additional features are appreciated. The Developers Guide outlines key development details for the software.
History
Varanus bennetti is a species of monitor lizard with the common name "Bennett's long-tailed monitor". The lizard was named in commemoration of north-west born, multi award-winning biologist Daniel Bennett who had a life-long commitment to the study and conservation of monitor lizards.