Kevin "Bear Puncher" Weiss cc13558c5e
Merge pull request #11699 from cladmi/pr/pic32/flashfile
boards/pic32-xx: set FLASHFILE to HEXFILE
2019-06-24 11:16:39 +02:00
..
2019-06-11 14:17:11 +02:00
2017-10-26 12:10:24 +02:00

Platform configurations for RIOT-OS

This directory contains existing configuration and initialization files for platforms supported by RIOT-OS.