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.