On 2015-08-07 00:54, Luca Boccassi wrote: > Yes, undefining CONFIG_XEN and CONFIG_XEN_DOM0 works on 3.16 too, as you > suggested. The patch header has been updated as you asked as well. > Thanks for the tip!
Good. Can you backport this to branches/340? > Do you have a contact in the kernel team to ping and ask clarifications > about the armmp config (more for curiosity than anything else, at this > point)? Or would you like me to send an email to the list? Not really. Just use the list. Andreas -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
