[beltex]

About the 2016 tag that was added to the title. While the header does say 2016, I think it's that the file wasn't made open source by Apple till this weekend.

Aside - explicit reference to Raspberry Pi here:

https://opensource.apple.com/source/xnu/xnu-4903.221.2/osfmk...