I solved the issue my doing a make clean and recompiling.

I am using the arduino-esp32 library with esp-idf and I am wondering how to disable the following log messages: [0;32mI (11) boot: ESP-IDF v3.0-dev-80-g9b30f66 2nd stage bootloader[0m [0;32mI (11) boot: compile time 17:52:24[0m [0;32mI (11) boot: Enabling RNG early entropy source...[0m [0;32mI (25) ...

I have recently been experimenting with the internal pull-up resistors in terms of waking from deep sleep, and I have found that the pull-up resistors on pins 4, 12, and 13 are not working. I measure no voltage with a meter when the pull-up *should* be enabled, and the same meter measures about 3.1V...