Skip to content

Commit 2189641

Browse files
committed
Recommend docker
1 parent 147a281 commit 2189641

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

00_intro.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ You will need knowledge of:
1818

1919
If you're using Windows, I hope you're using Windows Subsystem for Linux. If not, you're on your own.
2020

21-
### Option 1: Docker
21+
### Option 1: Docker (recommended)
2222

2323
Victor Munoz has put together a [docker container](https://github.com/vmunoz82/eda_tools) that has everything you need: Python 3, nMigen, yosys, SymbiYosys, and the Z3, boolector, and yices solvers.
2424

0 commit comments

Comments
 (0)