From: ldo@nz.invalid   
      
   On Fri, 26 Dec 2025 19:05:34 -0500 (EST), Scott Dorsey wrote:   
      
   > On Fri, 26 Dec 2025 21:07:02 -0000 (UTC), Lawrence D’Oliveiro wrote:   
   >>   
   >>> ... and it's a very commonly used architecture.   
   >>   
   >> Many keep trying to use it, but many don't succeed.   
   >   
   > Odds are your car's media system uses qnx.   
      
   No. Though I did use one that was based on Linux. That seems to be   
   more common these days.   
      
   > Your laser printer and toaster might use VxWorks. Satellites and   
   > aircraft use cFS. Lots of places where people care about reliability   
   > and verifiability use microkernels.   
      
   Linux seems to be taking over most of those.   
      
   Remember the “Ingenuity” helicopter that was sent to Mars, and   
   performed so admirably beyond its projected lifespan? That was running   
   Linux.   
      
   >>> There's still a microkernel at the bottom of OSX ...   
   >>   
   >> I think the BSD kernel started out as something vaguely   
   >> microkernel-based, but that got severely compromised over time, for   
   >> the sake of performance if nothing else.   
   >   
   > No, I am talking about the XNU stuff that sits below the BSD layer   
   > in OSX.   
      
   So was I.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)