gen_core_with_svp64: Fix title, commands, a few details.

diff --git a/HDL_workflow/gen_core_with_svp64.mdwn b/HDL_workflow/gen_core_with_svp64.mdwn
index 4ffee9ca02d19b3ce9a7969b9c3952021d804d8b..36579cf43be5507c43d3e1e51ec3b228fe365da0 100644 (file)
--- a/HDL_workflow/gen_core_with_svp64.mdwn
+++ b/HDL_workflow/gen_core_with_svp64.mdwn
@@ -1,5 +1,4 @@
-# Tutorial for generating a Microwatt-compatible Libre-SOC core with SVP64
-functionality
+# Generating a Microwatt-compatible Libre-SOC core with SVP64
 
 Useful links (Libre-SOC):
 
@@ -35,14 +34,17 @@ page.
 Scripts we will be using for the setup are:
 
 * `mk-deb-chroot`, `cp-scripts-to-chroot` for chroot setup
-* `install-hdl-apt-reqs`, `verilator-install`, `hdl-tools-yosys` for working
-with Microwatt
+* `install-hdl-apt-reqs`, `hdl-dev-repos`, `hdl-tools-yosys` for working with
+soc repo.
 
 (*Current limitation for `mk-deb-chroot`, is that you must be the first user on
 the host machine, having user ID 1000.*)
 
-Commands to run in terminal to setup a new chroot environment for microwatt
-simulations.
+Commands to run in terminal to setup a new chroot environment for generating
+LS soc cores.
+
+Currently, need to checkout an older commit of `openpower-isa`, for details
+see [Bug #1127 comment #0](https://bugs.libre-soc.org/show_bug.cgi?id=1127#c0)
 
     $ cd dev-env-setup
     $ sudo bash