broken link on Russell King's ARM Linux site

[Mi]

Hi.

It does not work the link from https://www.debian.org/ports/arm/links

on Russell King's ARM Linux site  http://www.arm.uk.linux.org/

Bye.