Hi Sebastian, On 7 May 2018 at 14:15, Sebastian Andrzej Siewior <bigeasy@xxxxxxxxxxxxx> wrote: > On 2018-04-30 12:05:52 [+0100], Iain Hunter wrote: >> Hi, > Hi, > >> I am using 4.9-rt1 on an Ultrascale+ device which is running Xen. > > I strongly suggest to use a more recent kernel. > Latest xilinx kernel is 4.14 >> >> By default whenever I enable RT Linux then Xen is disabled according >> to the patch "arm64/xen: Make XEN depend on !RT" in >> >> https://marc.info/?l=linux-rt-users&m=144509814328860&w=2 >> >> >> Can someone explain the background to this patch (which appears to >> still be in latest 4.14 development release)? >> >> Is it simply because Xen drivers in the kernel fail to build due to an >> include file problem (which I have worked around) >> Is there a fundamental stability problem on 64 bit ARM when RT Linux >> is running in a DomU? Initial runs of cyclictest don’t show any. > > I can't find the history behind this. Speaking as of v4.16-RT it builds > and I have no XEN setup. > If CONFIG_DEBUG_PREEMPT, CONFIG_DEBUG_ATOMIC_SLEEP and lockdep isn't > complaining then I might drop that patch with your tested-by :) > Is your suggestion that I try just dropping the restriction in the patch on CONFIG_PREEMPT_RT_FULL and just see if it works? If it is I will try on 4.14 with latest RT patch as I'd rather stick with an official Xilinx release. Thanks, Iain >> Thanks, >> >> Iain > > Sebastian -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html