1. c10023e Enable PCI on hmi1001 board by Wolfgang Denk · Tue Aug 16 15:17:53 2005 +0200
  2. 8d414a7 * Add support for HMI1001 board by wdenk · Fri Jun 10 10:00:19 2005 +0000