It's this year's USENIX OSDI keynote, where he talks about how most of the papers put forth were about everything besides Operating Systems' Design and Implementation, and most of the few that are about OSDI take Linux as a starting point- despite the fact that the assumptions that Unix made about the systems it would be running on don't neatly map onto the SOC world where there are several other microprocessors besides the cpu, with different ISAs, possibly different OSs and different views on memory.
So all of those systems are more or less working around whatever the cpu is doing but meanwhile the OS has it's own, prossibly wrong, model of what those systems are and what they do.