LeFl0w / LiberoSoC-Docker

Docker image for running LiberoSoC

LiberoSoC-Docker

Docker image for running LiberoSoC

Required Libero install files

Under libero-installer, you should have the following files:

powerefi@powerefi-gerrit:~/workspaceLibero/libero_docker$ ls -l libero-installer/
total 4542140
-rwxr-xr-x 1 powerefi powerefi 3181186330 May 31 01:28 Libero_SoC_v11.9_Linux.bin
-rw-r--r-- 1 powerefi powerefi  993116017 Jun  2 07:43 Libero_SoC_v11_9_SP4_Lin.tar.gz

License server

The Synopsis licence binary('snpslmd') complains about not being able to aquire a lock file, so we have to run 'lmgrd' on the host for now.

Request a network license from Microsemi and place it under the 'license' directory. [Microsemi License Portal] (https://www.microsemi.com/product-directory/design-resources/1711-licensing)

Build the Docker image

Once you have the required files in place, build the image with the 'build.sh' script. On a high-end machine, it will take at least 10 minutes.

./build

Running Libero

There are a couple ways you can run Libero.

#Note On some systems you may need to ensure that the time is synced between the host and the container, otherwise you may get a licensing error.

--volume="/etc/localtime:/etc/localtime"

#Note If you intend to use the FlahPro5 programmer, you need to run the container in 'privileged' mode, and mount the usb device tree.

Using local display (interactive use)

Example:

export LIBERO_USER=skeys
docker run --net=host -u $LIBERO_USER --env="DISPLAY" --privileged -v="/dev/bus/usb:/dev/bus/usb:rw" --volume="/etc/localtime:/etc/localtime" --volume="$HOME/.Xauthority:/root/.Xauthority:rw" --volume="$HOME/workspaceLibero/:/home/$LIBERO_USER:rw" -it docker/liberosoc /usr/local/bin/libero_env.sh libero libero

Running LiberoSoC in headless mode (Jenkins etc)

Almost the same as using your local display, just add 'xvfb-run' before calling 'libero'. Also, '--env="DISPLAY"' can be dropped.

Example:

export LIBERO_USER=skeys
docker run --net=host -u $LIBERO_USER --volume="/etc/localtime:/etc/localtime" --volume="$HOME/workspaceLiberoSoC:/workspace:rw" -it docker/liberosoc /usr/local/bin/libero_env.sh xvfb-run libero

Setting up a docker network.

TODO: Add info here on how to setup a docker network to combile the usage of a local GUI, while specifiying the MAC address and hostname. --hostname= --mac-address=mac:address

'lmgrd' "file not found"

cd /lib64 ln -s ld-linux-x86-64.so.2 /lib/x86_64-linux-gnu/ld-2.29.so ln -s ld-lsb-x86-64.so.2 ld-linux-x86-64.so.2 ln -s ld-lsb-x86-64.so.3 ld-linux-x86-64.so.2