Equivariant formality of the little disks operad

The little $n$-disks operad is $SO(n)$ and $O(n)$-equivariantly formal over the rationals. Equivalently, the oriented and unoriented framed little disks operads are rationally formal as $\mathrm{\infty }$-operads.