* Patch by Denis Peter, 04 June 2003:
  add support for the MIP405T board
12 files changed