1: \begin{abstract}

2:   We classify Freund--Rubin backgrounds of eleven-dimensional supergravity of the form $\AdS_4 \times X^7$ which are at least half BPS --- equivalently, smooth quotients of the round 7-sphere by finite subgroups of $\SO(8)$ which admit an ($N>3$)-dimensional subspace of Killing spinors.  The classification is given in terms of pairs consisting of an ADE subgroup of $\SU(2)$ and an automorphism defining its embedding in $\SO(8)$.  In particular we find novel half-BPS quotients associated with the subgroups of type $\sD_{n\geq 6}$, $\sE_7$ and $\sE_8$ and their outer automorphisms.

3: \end{abstract}

4: