aboutsummaryrefslogtreecommitdiff
path: root/src/platforms/dev2/platform.c
AgeCommit message (Expand)Author
2015-06-16dev2: make GDB server port configurableNicolas Schodet
2015-06-16Merge remote-tracking branch 'github/master' into dev2Nicolas Schodet
2013-04-03Add dev2 support.Nicolas Schodet