On Thu, 28 Jul 2011, Nikita V. Youshchenko wrote: > > The list of disabled config option is now: > > > > - CONFIG_HIGHMEM [ see the mess it created in 33-rt ] > > Could someone please point me to information on this? > > In our setup, we do use PREEMPT_RT + HIGHMEM, on .33 for now (but want to > upgrade because of new hardware support issues with .33). Up to now, we > did not face any issues related to PREEMPT_RT + HIGHMEM combination. Yes, it works in 33-rt, but the way it's implemented is a horrible hack. I had not enough capacity to implement that cleanly for 3.0-rt, so I simply dropped it for now. The preliminary patches are there (mainly distangling the disable_pagefault logic), so it should not be that hard. Thanks, tglx -- 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
