A Kernel implementation in RPython