There's an updated trademark policy available here: http://xen.org/about/legal.html It also includes an email address for questions. I won't try to interpret the 8-page document myself. Hope this helps, Diego