tree c834c08b8d95e0b815231a10706e5b8700515611
parent 7caa0ac1d349e8babcf54fcd0a35cb14c873d535
author Ethan Mahintorabi <ethanmoon@google.com> 1600227182 -0700
committer Ethan Mahintorabi <ethanmoon@google.com> 1600227182 -0700

Adds armv6-m support to the platforms library.

This is commonly known thumbv6. However, it appears that the name
is split between armv6-m and thumbv6 globally. I choose the arm
notation in order to be consistent with the other arm platforms.