certainly be more like the script of a play and less like a Bash script.

\item {\bf Write build/install instructions to the appropriate level of

  specificity}.  The upstream engineers

  in this case study \hyperref[thinkpenguin-specific-host-system]{clearly did

    additional work to ensure functionality on a wide variety of host build

    systems}; this is quite rare.  When in doubt, include the maximum level

  of detail build engineers can provide with the CCS instructions, but also

  double-check to investigate if a more generalized solution (such as other

  host systems) work just as well for the build.

\item {\bf Seek to adhere to the spirit of copyleft, not just the letter of

  the license}.  Encouragement of users to improve and

  make their devices better is one of ThinkPenguin's commercial differentiators.  Copyleft advocates

  that other companies have undervalued the large and lucrative

  market of

  users who seek hackable devices.  By going beyond the

  mere minimal requirements of GPL, companies can immediately reap the

  benefits in that target market.

  \item Community-oriented enforcement organizations do not play ``gotcha''\footnote{For lack of a better

    phrase.} with distributors regarding GPL

    violations.  The goal in the GPL enforcement process is to achieve

    compliance and correct mistakes and annoyances.  Such organizations

    due to honest error rather than malicious action '' approach.  The goal

    is compliance (in direct contrast with

    the \hyperref[Proprietary Relicensing]{discussion in \S~\ref*{Proprietary Relicensing} about the

      proprietary relicensing} business model).

\end{enumerate}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\chapter{Bortez: Modified GCC SDK}

In our first case study, we will consider Bortez, a company that

produces software and hardware toolkits to assist OEM vendors, makers

of consumer electronic devices.

\section{Facts}

One of Bortez's key products is a Software Development Kit (``SDK'')

designed to assist developers building software for a specific class of

consumer electronics devices.

FSF received a report that the SDK may be based on the GNU Compiler

Collection (which is an FSF-copyrighted collection of tools for software

development in C, C++ and other popular languages). FSF investigated the

claim, but was unable to confirm the violation. The violation reporter