@@ -825,6 +825,11 @@ the distributor and the purchaser of the hardware containing GPLed components.
of system we are expected to use, and what commands we should run on it. Such
instructions are not strictly required, as an obviously-named shell script may
suffice, but they are helpful in clarifying any ambiguities that may arise.
% FIXME: Spend some time here (admittedly a digression: maybe refer to
% another section later?) about how it's ok to specify a specific build
% environment.
* Since the instructions didn't mention a specific distro to use, we ran the
build on an amd64 Debian 6 machine we had, after confirming the packages were
installed. In particular, we ran "make", as described in the instructions in