.. _DOCKER:

Docker containers
#############

What is docker? A primer
=================

Where are images hosted?
=================

docker-hub
ghdl-tools
Dockerfiles

Launch options
=================

With(out) shared folder
----------------

Interactive/daemon
----------------

Shrinking
----------------

Additional tools, with(out) GUI
----------------

GtkWave, PoC, VUnit, OSVVM, UVVM