The kernel no longer builds because of the introduction of the GC notification mechanism in pmcl-kernel.c (it is implemented only in x86- exceptions .c) Cheers Sudhir