Proxmox alatt nem csak lxc van, hanem libvirt is, nem? Ha igen, akkor egy komplett virtuális gépbe beteszed a HA OS-t (ahogy én is csináltam), és van egy támogatott HA-d.