On Sun, Feb 08, 2009 at 01:51:46PM +0000, David Holland wrote: > We might be able to hack together some kind of global optimizer (maybe > with llvm?) but it's not entirely trivial. As I said already, there is a global optimizer, but it can't currently be used for the kernel. Joerg