more on cc2538 port