+ <h1>Custom Linux kernel builds</h1>
+ <p>
+ The official packages work for most users, but not all:
+ </p>
+ <ul class="incremental">
+ <li>
+ Different ARM platforms need incompatible configurations,
+ and we cannot build them all
+ </li>
+ <li>
+ New features are not enabled immediately if we are worried
+ about potential regressions
+ </li>
+ </ul>
+ <p class="incremental">
+ Using either upstream source or Debian linux-source package:
+ </p>
+ <ul class="incremental">
+ <li>
+ <tt>make && make install</tt>
+ </li>
+ <li>
+ <tt>make deb-pkg</tt> - build packages
+ </li>
+ <li>
+ <tt>make-kpkg</tt> - build packages with more customisation;
+ requires kernel-package
+ </li>
+ </ul>