Usage

make

the baseModel contains a make file the standard make command wil produce the msp430 executable

executing programs

msp430 -e <ELF-file> -v <logging level>

runing the test suite

using the makefile inide the baseMode you can run the unit tests using make testUnit and the integration tests using make testInt

Docker

Specs

• void-glibc:latest
• opam 4.08.0
• sail 0.16
• msp430-toolchain 3.05.00.00

Working with the container

building the immage

To build the immage run docker build . -t devimg in the main directory of the project.

starting up the container

The container is setup to start and keep idle spining. This happens because of the ENTRYPOINT ["tail", "-f", "/dev/null"]. The spinning container is so that it is simpeler to get multiple comandlines into the dockercontainer. To startup the container use docker compose up

To start up a shell inside of the docker container run docker exec -ti devcntr sh

using the container

The simpelest way to use the container is to start up a shell inside of it. to do this run docker exec -ti devcntr sh.

This unfortunatly is not fully setup so for the full funtionality needed start by running eval $(opam config env)