# The kernel:
wget -c http://www.kernel.org/pub/linux/kernel/v2.4/linux-2.4.30.tar.bz2

# RMK/Vince's Linux 2.4 patch:
#wget -c --passive-ftp ftp://ftp.arm.linux.org.uk/pub/armlinux/source/kernel-patches/v2.4/patch-2.4.26-vrs1.bz2
( cd patches 
  wget -c ftp://ftp.arm.linux.org.uk/pub/armlinux/source/kernel-patches/v2.4/patch-2.4.27-vrs1.bz2 )

# Chocky's RiscPC Kernel config
#wget -c http://www.chocky.org/linux/riscpc/config-2.4.26-vrs1