Use timer_init() instead of board supplied interrupt_init()
[oweals/u-boot.git] / arm_config.mk
2002-08-14 wdenkInitial revision