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.

--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)

John Larkin <jlarkin@highlandsnipmetechnology.com> wrote:

Does anybody have an estimate of how many bytes a small Linux would
need to run on a Pi Pico? How about freeRTOS?

The Pico can't run mainline Linux, since it has no MMU. MMU-free Linux
exists (formerly ucLinux) but it's mostly a toy - not such anyone has
ported to the Pico.

FreeRTOS is effectively a collection of libraries that you link with your program. It depends on what options you configure (do you need networking? etc), but I'd guess kilobytes not megabytes would be feasible.

Theo

--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)

On 21 Dec 2022 17:50:05 +0000 (GMT), Theo
<theom+news@chiark.greenend.org.uk> wrote:

John Larkin <jlarkin@highlandsnipmetechnology.com> wrote:

Does anybody have an estimate of how many bytes a small Linux would
need to run on a Pi Pico? How about freeRTOS?

The Pico can't run mainline Linux, since it has no MMU. MMU-free Linux >exists (formerly ucLinux) but it's mostly a toy - not such anyone has
ported to the Pico.

Good news. I didn't want to run Linux anyhow.

FreeRTOS is effectively a collection of libraries that you link with your >program. It depends on what options you configure (do you need networking? >etc), but I'd guess kilobytes not megabytes would be feasible.

I read somewhere that freeRTOS was a total of something like 6K lines
of C source. An RTOS doesn't need to be very big.

I do need Ethernet, probably using the WizNet chip.

Thanks

Theo

--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)