diff options
Diffstat (limited to 'doc/2_Getting/Docker.rst')
| -rw-r--r-- | doc/2_Getting/Docker.rst | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/doc/2_Getting/Docker.rst b/doc/2_Getting/Docker.rst index db371222d..35a1c11b6 100644 --- a/doc/2_Getting/Docker.rst +++ b/doc/2_Getting/Docker.rst @@ -3,4 +3,29 @@ 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
\ No newline at end of file |