* remove default=undefined * fix a couple of typos / syntax "errors" * perform even better default-value-checking in extract_configs.py
This directory code that is common to all builds regardless of PICO_PLATFORM. It is a mix
of common header files, or high level functionality built entirely using hardware_ or pico_ libraries provided
by the actual target `PICO_PLATFORM``