Update Shark machine type.
authorRussell King <rmk@flint.arm.linux.org.uk>
Mon, 25 Feb 2002 23:24:10 +0000 (23:24 +0000)
committerRussell King <rmk@flint.arm.linux.org.uk>
Mon, 25 Feb 2002 23:24:10 +0000 (23:24 +0000)
commite51b59f61845f132d7d3fde1010296f9397c147d
tree0c34ff91e04070784f32b86586ca447c70852db5
parent4ce465d68d24974fc714a523577bc52e8e0d0df1
Update Shark machine type.
arch/arm/def-configs/shark
arch/arm/kernel/via82c505.c
arch/arm/mach-shark/pci.c
include/asm-arm/arch-shark/hardware.h
include/asm-arm/arch-shark/keyboard.h
include/asm-arm/arch-shark/param.h
include/asm-arm/arch-shark/time.h