rdt_kernel
