<jats:p>We give a brute-force proof of the Kastler-Kalau-Walze type theorem for 7-dimensional manifolds with boundary.</jats:p>