I'm a bit confused. I guessed he was selling it with Wittenstein given (a) they have commercial licenses for the same source and (b) one of their docs said he h

I'm a bit confused. I guessed he was selling it with Wittenstein given (a) they have commercial licenses for the same source and (b) one of their docs said he helped set up the High Integrity Division of Wittenstein. That link makes me wonder what impact they had at all on FreeRTOS. https://www.highintegritysystems.com/openrtos/ https://www.highintegritysystems.com/openrtos/ Note that I don't follow FreeRTOS's closely. I just discovered it searching for RTOS's with Wittenstein looking at who was doing safety-certified RTOS's. At least back then, it was neat to think someone's RTOS project was getting adoption in the commercial sector with some money going back to them. Now I wonder...