@cstross @alex_p_roe @timo21

Amusing aside on that score:

I looked at Lynx's vaunted 1991-patented interrupt handling for #LynxOS.

There's prior art for it in the forms of KMOS, an operating system used for teaching purposes by Milan Milenković (who published a book on operating systems in 1987 describing kernel-task-based interrupt handling), and indeed in #Minix too.

#OperatingSystems #KMOS #MessagePassing #SystemsProgramming #RTOS

@alex_p_roe

Press release says …

https://lynx.com/lynx-mosaic-selected-for-f35-lightning-ii-mission-systems-avionics

… yes. So: maybe.

It used to be an operating system named Integrity by Green Hills Software. That has its own Wikipedia article, too.

@cstross @timo21
#LynxOS #PowerPC #FACE #POSIX #F35

@cstross

Or it could be buzzword-compliant, be industry group certified, be originally developed for the Atari ST, have its own Wikipedia article, and run on (among other things) PowerPC. (-:

https://lynx.com/products/lynxos-178-do-178c-certified-posix-rtos

@alex_p_roe @timo21
#LynxOS #PowerPC #FACE #POSIX #F35