so maybe the idea is to: • generate the

gpio_config_def.py

• use

gpio_config_builder.py

to convert it to

gpio_config_data.c

• link

gpio_config_data.c

to our firmware and call

gpio_config_io()

before using the I/O?