Fill in very brief history of Linux

diff --git a/index.html b/index.html
index 3188ebdf6624ecc8cb2c0addcb6095e0c1221e96..546aa047b0752efc8449c7b80e70e048d6f4fde5 100644 (file)
--- a/index.html
+++ b/index.html
@@ -86,6 +86,28 @@
 
 <div class="slide">
   <h1>Linux kernel</h1>
+  <ul class="incremental">
+    <li>
+      Started by Linus Torvalds in 1991 as a kernel for i386
+      PCs: <q>just a hobby, won't be big and professional like gnu</q>
+    </li>
+    <li>
+      Adopted as the kernel of the Debian system in 1993
+    </li>
+    <li>
+      After 20 years' development, supports more hardware
+      architectures and devices than anything else
+      <ul class="incremental">
+       <li>
+         Hardware vendors <em>must</em> provide Linux drivers because
+         their customers demand it
+       </li>
+      </ul>
+    </li>
+    <li>
+      Still the default kernel for the Debian system
+    </li>
+  </ul>
 </div>
 
 <div class="slide">