tcl: fix broken Raspberry Pi website links

raspberrypi.com is the home for technical information, raspberrypi.org
is the Foundation's site (though there are intelligent redirects).

Several pages have moved around, fix these.

Also tweak a few comments for style and correctness.

Signed-off-by: Jonathan Bell <jonathan@raspberrypi.com>
Change-Id: I7f52bcc362fb213b50987e3a42866fe4a6fec883
Reviewed-on: https://review.openocd.org/c/openocd/+/8885
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
This commit is contained in:
Jonathan Bell
2025-05-21 15:37:25 +01:00
committed by Antonio Borneo
parent 7abc0f9e65
commit e23a6bbc63
8 changed files with 16 additions and 16 deletions

View File

@@ -3,8 +3,8 @@
# The Broadcom BCM2711 used in Raspberry Pi 4
# No documentation was found on Broadcom website
# Partial information is available in raspberry pi website:
# https://www.raspberrypi.org/documentation/hardware/raspberrypi/bcm2711/
# Partial information is available on the Raspberry Pi website:
# https://www.raspberrypi.com/documentation/computers/processors.html#bcm2711
if { [info exists CHIPNAME] } {
set _CHIPNAME $CHIPNAME