High Availabilty for SCCM 2012 SP1

Hi Experts,

There was a need for setting up High Availability for SCCM 2012 SP1 database instance. However what I understand is that AlwaysOn/Mirroring/Logshipping is not supported for SCCM 2012 SP1 database instance. Can you please confirm if missing out something and any reason for the same.

Thanks