riego/dev: links for rdt-kernel