Es importante no confundir la versión de RTLinux con la versión del núcleo Linux.