Hi guys,
Just to let you know that we also plan to add support for CC2538 to the Contiki repository! Contiki is an open source OS including a IPv4 and IPv6 stack supporting e.g. 6LoWPAN, findout more here: www.contiki-os.org and www.thinsquare.com
I will keep you posted when it's available.
-Jonas