Fill in documentation references

[debian-kernel-talk.git] / index.html

diff --git a/index.html b/index.html
index 46e1aa6c6fec049a81f2fbe65465f6c880d04ed1..c5f243ea59ab84a3c12fcef4ad37c173ac08a2bd 100644 (file)
--- a/index.html
+++ b/index.html
@@ -354,10 +354,54 @@
 
 <div class="slide">
   <h1>Firmware files</h1>
+  <ul class="incremental">
+    <li>
+      Most peripherals have microcontroller running non-free
+      firmware; some require host to load it
+    </li>
+    <li>
+      Several drivers used to include firmware, making kernel
+      non-free.  Fudged with GRs for a while; finally fixed in squeeze
+    </li>
+    <li>
+      Users with these devices - almost any wifi card, some network
+      controllers and Radeon GPUs - will still need the firmware
+      files installed
+    </li>
+    <li>
+      Kernel team maintains <tt>firmware-nonfree</tt> source package
+      covering most firmware files that are clearly redistributable
+    </li>
+    <li>
+      Also collected in linux-firmware.git repository maintained by
+      David Woodhouse and myself
+    </li>
+  </ul>
 </div>
 
 <div class="slide">
   <h1>Documentation</h1>
+  <ul class="incremental">
+    <li>
+      <tt>manpages-dev</tt> - the system call API
+    </li>
+    <li>
+      <tt>linux-doc-</tt><var>upstream</var> - miscellaneous upstream
+      documentation
+    </li>
+    <li>
+      <tt>linux-manual-</tt><var>upstream</var> - the internal API,
+      based on structured comments
+    </li>
+    <li>
+      <tt>debian-kernel-handbook</tt> - Debian-specific information;
+      currently also Linux-specific but could cover other kernels
+    </li>
+    <li>
+      <a href="http://wiki.debian.org/DebianKernel">http://wiki.debian.org/DebianKernel</a>
+      - wiki index page
+    </li>
+  </ul>
 </div>
 
 <div class="slide">