I'm uploading a simple C program into a Raspberry Pi Pico and I would like to check the memory this program is occupying in the Pico.
The program only has an empty main function. What I want to do is similar to what happens in the Arduino IDE when you upload something to an Arduino Uno. When you do that, the terminal shows the memory occupied by the program and the memory left in the board.
To upload the program to the Pico I'm using Git Bash compiling with a cmake file.