vadalog_kernel
