If the kernel doesn't allow for reasonable run-time handling of such
issues, that's a kernel problem. [But I think it's fair to treat
development kernels with wierd, no-longer supported options as if those
options didn't exist.]
Which is to say: I'm not convinced.
> Yes, but then I can either install new headers or run a script
> which generates them. But I should be able to do this without
> rebuilding or reinstalling (g)libc.
Fine by me.
-- Raul- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu