#máquinas de kernel