X10 KERNEL