Like the Arduino we need a pins file to handle the differences between the Uno32 and Max32
Like the Arduino we need a pins file to handle the differences between the Uno32 and Max32