

Not quite “steal”, but they removed license and attribution information, which is a no-no and license infringement for sure.
But yeah, this is all of no consequence.
Edit: I just read DacoTaco’s post below. Looks like there was no direct code liftup from RTEMS then, so I guess it’s even more of a fuss over nothing.
Wooosh isn’t a reddit thing though. I used to see it regularly way back in the slashdot days.