Closed EmbeddedMan closed 8 years ago
Also updating platform.txt from chipKIT-core (unused in this project).
Also updating platform.txt from chipKIT-core (unused in this project).