From c8b14f5b155cd82efe7a494daede15e5c9f3b612 Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben@decadent.org.uk>
Date: Wed, 27 Jul 2011 18:44:52 +0200
Subject: [PATCH 1/1] Fill in very brief history of Linux

---
 index.html | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/index.html b/index.html
index 3188ebd..546aa04 100644
--- 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">
-- 
2.39.2