Files
pico-openpgp/sdkconfig.defaults