On Mon, Dec 15, 2014 at 12:23:01PM +0100, David Hildenbrand wrote: > Peter just showed my that there is some work ongoing on that > pagefault_disable() topic. So I am not sure if the arch-specific part of this > series is still relevant. Well 'on-going' would be over stating it. We did those bits in -rt many years ago, but never really made a strong enough effort to get them upstream. If there now is a 'semi' sane use-case for upstreaming them we should indeed look at that. -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
