Index: /trunk/doc/manual/en_US/user_BasicConcepts.xml
===================================================================
--- /trunk/doc/manual/en_US/user_BasicConcepts.xml	(revision 46811)
+++ /trunk/doc/manual/en_US/user_BasicConcepts.xml	(revision 46812)
@@ -81,4 +81,13 @@
                 linkend="ts_linux-buggy" /> for details.</para>
               </note></para>
+          </glossdef>
+        </glossentry>
+
+        <glossentry>
+          <glossterm>Linux 3.x</glossterm>
+
+          <glossdef>
+            <para>All versions/editions are fully supported (32 bits and 64
+            bits). Guest Additions are available.</para>
           </glossdef>
         </glossentry>
Index: /trunk/doc/manual/en_US/user_GuestAdditions.xml
===================================================================
--- /trunk/doc/manual/en_US/user_GuestAdditions.xml	(revision 46811)
+++ /trunk/doc/manual/en_US/user_GuestAdditions.xml	(revision 46812)
@@ -387,5 +387,5 @@
 
           <listitem>
-            <para>Do a <computeroutput>VBoxCertUtil add-trusted-publisher oracle-vbox.cer --root oracle-vbox.cer</computeroutput>.</para>
+            <para>Do<screen>VBoxCertUtil add-trusted-publisher oracle-vbox.cer --root oracle-vbox.cer</screen></para>
             <para>This will install the certificates to the certificate store. When installing the same certificate
             more than once, an appropriate error will be displayed.</para>
@@ -523,4 +523,8 @@
       <itemizedlist>
         <listitem>
+          <para>Oracle Linux as of version 5 including UEK kernels</para>
+        </listitem>
+
+        <listitem>
           <para>Fedora as of Fedora Core 4;</para>
         </listitem>
@@ -763,6 +767,5 @@
 
         <sect4>
-          <title>CentOS, Red Hat Enterprise Linux and Oracle
-          Enterprise Linux</title>
+          <title>Oracle Enterprise Linux, Red Hat Enterprise Linux and CentOS</title>
 
           <para><orderedlist>
@@ -782,5 +785,7 @@
                 <para>Install the GNU C compiler and the kernel development
                 packages using <screen>yum install gcc</screen> followed by
-                <screen>yum install kernel-devel</screen></para>
+                <screen>yum install kernel-devel</screen> If the Oracle UEK
+                kernel is used, use <screen>yum install kernel-uek-devel</screen>
+                to install the UEK kernel headers.</para>
               </listitem>
 
Index: /trunk/doc/manual/en_US/user_Introduction.xml
===================================================================
--- /trunk/doc/manual/en_US/user_Introduction.xml	(revision 46811)
+++ /trunk/doc/manual/en_US/user_Introduction.xml	(revision 46812)
@@ -503,5 +503,5 @@
 
         <para>It should be possible to use VirtualBox on most systems based on
-        Linux kernel 2.6 using either the VirtualBox installer or by doing a
+        Linux kernel 2.6 or 3.x using either the VirtualBox installer or by doing a
         manual installation; see <xref linkend="install-linux-host" />. However,
         the formally tested and supported Linux distributions are those for