Links for rdt-kernel