l4_kernel_interface()