This is a script automation project for compiling Xenomai on a Zynq-7000 FPGA that makes use of a Docker image
Be sure to have installed the last Docker. This project will give to you an uncompressed Xenomai and an u-boot images intended to be load onto a Zynq-7000 device. Clone this repo by executing:
$ git clone https://github.com/mariobarbareschi/xenomai-zynq.git
Actually, the docker image is used for compiling by arm-gcc toolchains. The whole commands you need are included in run_compilation.sh file. So just be sure that the current repository is cloned onto your pc host, then:
$ cd xenomai-zynq
$ docker pull mariobarbareschi/xenomai-zynq
$ docker run -it -v $PWD:/opt mariobarbareschi/xenomai-zynq /bin/bash -c "cd /opt; ./run_compilation.sh"
If you don't want to pull the image from the Docker hub, you can get it by your own:
$ cd xenomai-zynq
$ docker build -t <image-name> .
Github is for social coding. If you want to write code, I encourage contributions through pull requests from forks of this repository.
The main contribution is due to Salvatore Barone work.