Documentation
The friendly Operating System for the Internet of Things
Kinetis GPIO driver.
The GPIO driver uses the GPIO_PIN(port, pin) macro to declare pins.
No configuration is necessary.