tags 901602 + moreinfo thanks Hi Stefan,
I'm going over open bug reports for the Xen packages in Debian, and I ran into this one. I think you might at least want to try out Debian Buster with the Xen 4.11 packages which might provide better support for your hardware. However, I think you might even be better of searching the upstream xen-users and xen-devel mailing lists archive about epyc, and maybe subscribing to them instead to join discussions. I don't think any of the users in the debian xen packages maintainer team is actively using this hardware now, and for solving the issues you will likely need help from upstream Xen developers. So, it might be possible we would only be slowing you down. Thanks, Hans
