bodo_platform_dummy_kernel
