On Fri, 12 Nov 2010 00:18:08 +0100Richard Weinberger <richard@nod.at> wrote:> Currently CONFIG_HIGHMEM is broken on User Mode Linux.> I'm not sure if it worked ever.> What is "broken" about it?