Re:On the history and justification of the C programming lan...
by nickpsecurity on Thursday August 18, 2016 @08:48PM
(#12317297)
Remember that a few of those RTOS's, although OS itself is C, have runtimes for Ada and Java that apparently sold well enough they continue to be updated. Only RTOS I know still done in Ada is MaRTE OS:
Well, Muen is done in SPARK but it's a separation kernel rather than full OS:
That it was integrated into GenodeOS framework shows one could build a system around it but it's not quite one itself. There's also the JavaCard OS's for low-level stuff and even Java CPU's on market.
Re:On the history and justification of the C programming lan...
by dalke on Thursday August 18, 2016 @05:46PM
(#12316539)
TemplOS is in HolyC. Plan9 uses a C-like language. Haiku is written in C++. Those are all minor OSes, but I've at least heard of them.
http://stackoverflow.com/questions/6398305/operating-system-... lists some OSes written in Ada.
I don't really know where the major/minor cutoff is myself. :)
Pretty much every OS I can think of is in C - Windows, *nix, RTEMS, INTEGRITY, VxWorks