It's almost certainly running linux though.
https://lkml.org/lkml/2004/2/12/13
Many open source OS projects have core developers on non-x86/amd64 platforms so as to find errors, x86isms, and other code quality issues reveled by fundamental differences in the underlying architectures.
It's almost certainly running linux though.