Skip to content

five-embeddev/build-and-verify

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Docker and docker-compose files for building and simulating RISC-V target code.

See https://five-embeddev.com/ for more info.

Dockerfiles

Each directory in docker/ folder includes at least Dockerfile and Makefile. The docker Dockerfile will build an image, either from source or using the OS package and tools manager. The Makefile is used to define the image tags and run some commands or open a shell to check the build. The Makefile is generally for convinience, the build steps are in the Dockerfile and targets.mak file. NOTE - riscv-gnu-toolchain-2 relies on the compose.yaml to build the image, as the build files are stored outside of docker.

The docker images are designed to run tools using a user account with user ID, DOCKER_USER_UID. The Makefile will set that to the uid of the user building the docker images.

The docker images set the workdir to /project. The input and output files can be mounted to this volume.

Examples

The directories in example/ will compile or simulate some target code.

The Makefile files generally include the commands, the compose.yaml are provided for convinience if needed. These all assume the required images in docker/ have been built.