Lantern2 kernel: constructor and extend