scw 9552c65898 - Make the compile-time selection of ixdp425 vs. zao425 actually work. ... - Flesh out cpu_reboot() to jump to Redboot via cpu_reset(). (See XXX comment in code regarding a problem with this).		2003-10-23 10:50:01 +00:00
..
ixdp425_led.c	led support for IXDP425/ZAO425	2003-05-31 01:16:31 +00:00
ixdp425_machdep.c	- Make the compile-time selection of ixdp425 vs. zao425 actually work.	2003-10-23 10:50:01 +00:00
ixdp425_mainbus.c	Make it easier to support different types of IXP425 board:	2003-10-08 14:55:04 +00:00
ixdp425_pci.c	add mapping table of pci interrupt number	2003-10-11 03:53:52 +00:00
ixdp425_start.S
ixdp425reg.h	- Make the compile-time selection of ixdp425 vs. zao425 actually work.	2003-10-23 10:50:01 +00:00
ixdp425var.h	Make it easier to support different types of IXP425 board:	2003-10-08 14:55:04 +00:00