Re: ANN: Cortex GNAT RTS 2018-07-15

[Paul Rubin <no.email@nospam.invalid>]

Simon Wright <simon@pushface.org> writes:
> I agree that a considerable chunk of FreeRTOS could probably be replaced
> by straightforward Ada code, but that'd be someone else's project!

Thanks.  I wasn't suggesting that you rewrite FreeRTOS, but rather, I
was just wondering if there were technical obstacles to doing such such
machine-level stuff in Ada.

> The RTOS part of AdaCore's embedded Ravenscar RTOSs (s-bb*.ad?) is about
> 5500 lines (1250 semicolons) of Ada.

Fabien also Chouteau mentioned this.  Does it do mostly the same stuff
as FreeRTOS?  I had thought Ravenscar was deliberately very limited.

I've never used a thing like this and I've seen some incredibly tiny
Forth multitaskers, like a few dozen lines of code.  They basically
implement a context switch called from a cooperative PAUSE primitive,
plus a round robin scheduler and a few other things for starting and
stopping tasks.  So I should try to figure out what additional functions
the RTOS does.