![[ctrl] :nsct:](./images/smilies/nspire/ns_ct.png)
The boot options are saved in the BootD partition.
But they won't be saved if your BootD partition is invalid.
It can happen if you did select the non-documented option
![[6] :ns6:](./images/smilies/nspire/ns_6.png)
![[5] :ns5:](./images/smilies/nspire/ns_5.png)
To make the BootD partition valid again, I think you need to sucessfully install and boot an OS.
Also, boot options are going to be lost too if you disable ControlX by switching boot=Boot2/Diags.
If .tco files aren't listed by the link software anymore, it's that he did switch his model family/type successfully.
If neither .tco files nor .tcc files are listed by the link software, it's likely that he did switch the model family (CX/CM).
In this case, .tmo/.tmc files should be listable then, if any.