From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 3 Mar 2021 16:26:46 +0000 (+0000)
Subject: add link to gdb mirror
X-Git-Tag: convert-csv-opcode-to-binary~87
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ac7266da51c6bfbfeee8b1e5374153f9f1074df4;p=libreriscv.git

add link to gdb mirror
---

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 95600f05f..95ec79494 100644
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -439,7 +439,9 @@ Install qemu:
 
     apt-get install qemu-system-ppc
 
-Install gdb from source.  Obtain the latest tarball, unpack it, then:
+Install gdb from source.  Obtain the required tarball matching
+the version of gcc (9.1) from here <https://ftp.gnu.org/gnu/gdb/>,
+unpack it, then:
 
     cd gdb-9.1 (or other location)
     mkdir build