faum-gen-vhdl
Virtual machine running in user mode
RUN apt-get update && \
apt-get install -y faumachine
RUN apt-get update && \
apt-get install -y faumachine
RUN apt-get update && \
apt-get install -y faumachine