Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


updated indentation rules in the manual
Jack Lange [Tue, 3 Mar 2009 22:48:08 +0000 (16:48 -0600)]
manual/manual.pdf
manual/manual.tex

index 89091ec..d91767b 100644 (file)
Binary files a/manual/manual.pdf and b/manual/manual.pdf differ
index 27706ee..d779462 100755 (executable)
@@ -307,7 +307,15 @@ increasing the appeal of a composition through subtle means."
 \newline\newline
 Translation: Use the spacebar, newlines, and parentheses. 
 
-Curly-brackets are not optional, even for single line conditionals.
+Curly-brackets are not optional, even for single line conditionals. 
+
+Tabs should be 4 characters in width.
+
+{\em Special:} If you are using XEmacs add the following to your \verb.init\.el. file:
+\begin{verbatim}
+(setq c-basic-offset 4)
+(c-set-offset 'case-label 4)
+\end{verbatim}
 
 {\em Bad}
 \begin{verbatim}
@@ -320,13 +328,12 @@ if(a&&b==5||c!=0) return;
 \begin{verbatim}
 if (((a) && (b == 5)) || 
     (c != 0)) {
-       return;
+               return;
 }
 \end{verbatim}
 
 
 
-
 \paragraph*{Fail Stop}
 Because booting a basic linux kernel results in over 1 million VM exits
 catching silent errors is next to impossible. For this reason