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

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

Simon Wright <simon@pushface.org> writes:
>         freertos...

I took a look at the freertos source code: the common kernel is 3 files
total around 10 KLOC of C, though a lot of it is conditionally compiled
based on feature flags.  It's about what you'd expect in an RTOS, i.e.
very low level, lots of pointer banging, critical sections, etc.

I wonder whether it's feasible to write something like that in Ada, with
just a few calls to intrinsics for stuff like interrupts.  Any thoughts?
It seems like a shame to have that much C code at the bottom of an Ada
application.