From ac7266da51c6bfbfeee8b1e5374153f9f1074df4 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 3 Mar 2021 16:26:46 +0000
Subject: [PATCH] add link to gdb mirror

---
 HDL_workflow.mdwn | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
2.30.2