• os sizes

    From John Larkin@3:770/3 to All on Wed Dec 21 09:29:03 2022
    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)
  • From Theo@3:770/3 to John Larkin on Wed Dec 21 17:50:05 2022
    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)
  • From John Larkin@3:770/3 to theom+news@chiark.greenend.org.uk on Wed Dec 21 18:59:38 2022
    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)