La empresa lo comercializó luego bajo el nombre de "86-DOS".