MAX32670 Peripheral Driver API
Peripheral Driver API for the MAX32670
Device Directory Reference