Files
openocd/tcl/target/ixp42x.cfg