Intel IXP4xx Ethernet support

modulename: ptp_ixp46x.ko

and/or

ixp4xx_eth.ko

configname: CONFIG_IXP4XX_ETH

Linux Kernel Configuration
└─>Device Drivers
└─>Network device support
└─>Ethernet (10 or 100Mbit)
└─>Intel IXP4xx Ethernet support
In linux kernel since version 2.6.26 (release Date: 2008-07-13)  
Say Y here if you want to use built-in Ethernet ports
on IXP4xx processor.

source code:
drivers/net/arm/ixp4xx_eth.c