Links for remote-kernel