Add info on dsal-helper to main README.md

dulek · EmilienM · commit 52d70c90a498 · 2023-03-22T13:10:11.000-04:00
diff --git a/README.md b/README.md
@@ -256,3 +256,7 @@ post_install: |
 ```
 
 And then run `make post_install`.
+
+## Tools
+
+You can find tools helping to work with DSAL machines in `tools/dsal` directory.
