Moving FIPS keys from 8900 to 10200

My understanding is that the limitation is if you want to have the 2 devices in a HA pair, and having them sync automatically the fips keys.

If you just want to migrate the keys to a new hardware:

1 - Initialize the FIPS card in the new device, with same SO and Domain as the old.

2 - Export the keys in the old device

3 - Import the keys in the new device

You will need to know the SO in the old device.

Let me know if you need the commands, as I have some notes I use every time I need to do some stuff with FIPS (and generally, never works in the first time).