Other Parts Discussed in Thread: SYSCONFIG
Sysconfig is easy to use for modifying GPIO pin assignments and I understand it generates ti_drivers_config.h.
The name I assign to a GPIO port, e.g. BLUE_KEY, is listed under ti_drivers_config.h's GPIO section. It also automatically generates another alias listed under ti_drivers_config.h's PIN section, e.g. CONFIG_PIN_1.
It also seems I can only use the PIN alias (CONFIG_PIN_1) in PIN_open(). Is there a way to rename the generic PIN alias in sysconfig? Where is the GPIO alias, e.g. BLUE_KEY, used?