Does anybody have an estimate of how many bytes a small Linux would need to run on a Pi Pico? How about freeRTOS?
Pico only has 2 Mbytes of flash, and I'll need some of that to store an FPGA config file.
There's all sorts of stuff online but nobody seems to note code image sizes.