When I last used some RedHat operating system nobody ever mentioned IPv6, I cannot even remember that saw any of the configuration option mentioned in this article. So now I need to figure out how to have Xen configure IPv6 for my guest systems :-/