contiki-os/contiki — pull request #907 by bbc2 (2014-12-12 18:14:09+00:00)
Title: IP64 driver for ENC28J60 on CC2538DK (Ethernet)

I have been successfully using the driver by Thingsquare on my development board. How about merging it to Contiki?