installation-guide:

- List the ARM Versatile Express platform as supported by Debian/armf.
- List the EfikaMX platform as no longer supported by Debian/armhf
  in Jessie.

1 files changed, 24 insertions, 2 deletions

diff --git a/en/hardware/supported/arm.xml b/en/hardware/supported/arm.xml
index b312722a3..45c0c380f 100644
--- a/en/hardware/supported/arm.xml
+++ b/en/hardware/supported/arm.xml
@@ -169,7 +169,6 @@ which make it unsuitable for the installation of newer &debian; releases.
         </listitem>
       </varlistentry>
 
-<!--
       <varlistentry>
         <term>Versatile Express</term>
         <listitem>
@@ -180,7 +179,6 @@ which make it unsuitable for the installation of newer &debian; releases.
           </para>
         </listitem>
       </varlistentry>
--->
 
     </variablelist>
   </para>
@@ -204,4 +202,28 @@ which make it unsuitable for the installation of newer &debian; releases.
 
 </sect3>
 
+
+<sect3 arch="arm"><title>Platforms no longer supported by Debian/armhf</title>
+
+<variablelist>
+<varlistentry>
+<term>EfikaMX</term>
+<listitem><para>
+
+The EfikaMX platform (Genesi Efika Smartbook and Genesi EfikaMX nettop) has
+been supported in &debian; 7 with a platform-specific kernel, but is not
+supported anymore from &debian; 8 onwards.  The code required to build the
+formerly used platform-specific kernel has been removed from the
+upstream Linux kernel source in 2012, so Debian cannot provide newer
+builds.
+</para><para>
+Using the armmp multiplatform kernel on the EfikaMX platform would require
+device-tree support for it, which is currently not available. 
+</para></listitem> </varlistentry> </variablelist>
+
+
+</sect3>
+
+
+
   </sect2>