Rob, I was there--Microsoft was doing Xenix for the 80286, Intel was doing the kernel work. This was before the 80286 was released to production. MS was apologetic for long delays in Xenix 80286 deployment. I was perhaps amiss in mentioning SCO, but the collaboration between the boys in Bellevue and in Santa Cruz was very tight. Our contact for 80286 Xenix was Microsoft--in fact, since our system involved using an 80186 for I/O and the 80286 for the rest, I had a listing binder on my desk for the TRS-80 Model 16 implementation on my desk, showing me how it was done for that platform.
But Intel was most definitely involved in the kernel work for 80286 Xenix.