Actually, it looks like it's a rather plain event loop. I think that's the point, a really, really simple incarnation of (a set of) state machine(s) in C code.
As every operating system is, right?
I know fairly little about it, but Linux seems to use kernel threads all over the place, so it's not just an event loop.