tree 9372a2a6f262769d4fbe80e1ae9bead461d607a7
parent e2fe8ba2258e612502b207f4dfd4d50fbc26dc42
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1618926228 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1618928679 +0100

[docker] Install Verilator and OpenOCD from OBS

This matches what we do in CI and should be both more stable and also
a bit quicker.

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>