https://en.wikipedia.org/wiki/Chip-scale_atomic_clock
Apparently they're not even export-protected, despite their obvious use in GPS validation schemes and in RTK.
> The SA.45s CSAC has an Export Commodity Control Number (ECCN) of EAR99. This means it is not ITAR-controlled and does not require a special license to ship to most nations. The SA.45s CSAC classification is controlled by the Bureau of Industrial Security (BIS) within the US Department of Commerce.
The article talks about quantum "optical clocks" but doesn't really explain the concept.
Which appears to be this:
https://en.wikipedia.org/wiki/Quantum_logic_clock
Which, like many things named "Quantum", still doesn't really explain how you get an IMU out of it.