The dec21140 network driver is found in libchip/networking.