Hi Andrew, The kernel build fails on the power box INSTALL vdso64.so INSTALL vdso32.so BOOTCC arch/powerpc/boot/inflate.o arch/powerpc/boot/inflate.c:920:19: error: errno.h: No such file or directory arch/powerpc/boot/inflate.c:921:18: error: slab.h: No such file or directory arch/powerpc/boot/inflate.c:922:21: error: vmalloc.h: No such file or directory arch/powerpc/boot/inflate.c: In function
