Removed a repetitive section from Practical-guide technote.
authorpravin@inf.ethz.ch <pravin@inf.ethz.ch>
Fri, 13 Dec 2013 16:08:48 +0000 (17:08 +0100)
committerpravin@inf.ethz.ch <pravin@inf.ethz.ch>
Fri, 13 Dec 2013 16:08:48 +0000 (17:08 +0100)
doc/018-Practical-guide/cleanREADME.awk
doc/018-Practical-guide/cleanTex.awk
doc/018-Practical-guide/readme.tex

index 218cc43..b3093c4 100755 (executable)
@@ -8,7 +8,7 @@ BEGIN {
     pr = 0
 }
 
-/Barrelfish Overview/ {
+/Supported PC hardware/ {
    pr = 1
 }
 
index f142d91..e66e810 100755 (executable)
@@ -8,7 +8,7 @@ BEGIN {
     pr = 0
 }
 
-/Barrelfish Overview/ {
+/Supported PC hardware/ {
     pr = 1
 }
 
index 144fa29..8b30e7d 100644 (file)
@@ -1,46 +1,3 @@
-\section{Barrelfish Overview%
-  \label{barrelfish-overview}%
-}
-
-Barrelfish currently runs on:
-%
-\begin{quote}
-%
-\begin{itemize}
-
-\item x86 CPUs in either IA-32 or AMD64 mode. The following are known to work:
-%
-\begin{itemize}
-
-\item Intel Xeon Clovertown, Gainestown, Beckton (X5355, E5520, X7560, L5520,
-L7555)
-
-\item AMD Opteron Santa Rosa, Barcelona, Shanghai, Istanbul, Magny Cours
-(2220, 8350, 8374, 8380, 8431, 6174)
-
-\item QEMU simulator
-
-\end{itemize}
-
-\item Intel Single-Chip Cloud Computer (SCC), both Copper Ridge and Rocky Lake
-are known to work.
-
-\item ARM Platform
-- ARMv7 and ARMv5 architectures
-- GEM5 simulator
-- Pandaboard System On Chip platform
-
-\end{itemize}
-
-\end{quote}
-
-This README file documents instructions for x86 architecture.  For other
-architectures, please refer to the corresponding technote documentations.
-You can either generate the latest documentation from this source-code
-(instructions at end of this file), or visit the \href{http://www.barrelfish.org/}{Barrelfish} website
-to download them.
-
-
 \section{Supported PC hardware%
   \label{supported-pc-hardware}%
 }