Since Steven Sinofsky and Microsoft shocked the PC world by divorcing last year, some details of Sinofsky's severance have already surfaced.  But now we know, thanks to Microsoft's 10-K filing, just which companies has are off limits to Sinofsky until December 31, 2013, a  year from his termination date,

By virtue of Sinofsky's retirement agreement,  he "cannot accept direct or indirect employment" with Amazon(s amzn), Apple (s appl),  EMC(s emc), Google(sgoog),Facebook(s fb), Oracle (s orcl) and VMware (s vmw). None of these names are exactly shockers. Microsoft is taking on Apple in tablets and cloud storage; Amazon in cloud generally, Google in apps and public cloud, VMware in hybrid enterprise-class cloud etc. But, it's helpful to see which rivals are top of mind of Microsoft's brain trust.

It was previously disclosed in other SEC filings,  that Sinofsky, a 23-year Microsoft veteran who drove Office development before moving over to Windows, got more than $8.5 million from Microsoft including a base salary of $658,333 in salary, a $1.5 million bonus and nearly $6.4 million in stock, according to NeoWin.