[ixp1200] [Q] Does Intel provide IXP1200EB device driver for linux host?

Does Intel provide IXP1200EB device driver for Linux PC? I knew that Intel doesn't support device driver for Linux PC. But I see pciDg from this mailing-list. Is this a device driver which is provided by Intel? If yes, plz say me web or FTP address to get this device driver & driver manual. Thanks.