I enjoyed reading the OS developer's info. Quite an interesting chip, I wonder if someone will port other OSes like BSD or even Windows to it.
Also it should be possible to have a unified system where the single OS uses both the host and Xeon cores natively rather than two separate OSes running on each chip.