wget http://ftp.libre-soc.org/C4MLogo.gds
wget http://ftp.libre-soc.org/lip6.gds
wget http://ftp.libre-soc.org/sorbonne_logo.gds
+wget http://ftp.libre-soc.org/libresoc_logo.gds
# initialise/update the pinmux submodule
git submodule update --init --remote
wget http://ftp.libre-soc.org/C4MLogo.gds
wget http://ftp.libre-soc.org/lip6.gds
wget http://ftp.libre-soc.org/sorbonne_logo.gds
+wget http://ftp.libre-soc.org/libresoc_logo.gds
# initialise/update the pinmux submodule
if [ "${USER}" = "jpc" ]; then