Mackerel quick reference page.
authorMothy <troscoe@inf.ethz.ch>
Mon, 11 Mar 2013 08:48:28 +0000 (09:48 +0100)
committerMothy <troscoe@inf.ethz.ch>
Mon, 11 Mar 2013 08:48:28 +0000 (09:48 +0100)
Fixed some bugs in the Mackerel documentation.
Changed more of the copyright addresses while I'm at it.

28 files changed:
doc/000-overview/Hakefile
doc/000-overview/Overview.tex
doc/001-glossary/Glossary.tex
doc/001-glossary/Hakefile
doc/001-glossary/Main.hs
doc/002-mackerel/Hakefile
doc/002-mackerel/Mackerel.tex
doc/003-hake/Hake.tex
doc/003-hake/Hakefile
doc/004-virtual_memory/Hakefile
doc/005-scc/Hakefile
doc/005-scc/SCC.tex
doc/005-scc/plots/rcce_bench/Makefile
doc/006-routing/Hakefile
doc/008-tracing/Hakefile
doc/008-tracing/Tracing.tex
doc/009-notifications/Hakefile
doc/009-notifications/Notify.tex
doc/010-spec/Hakefile
doc/010-spec/Spec.tex
doc/011-idc/Hakefile
doc/012-services/Hakefile
doc/013-capability-mgmt/CapMgmt.tex
doc/013-capability-mgmt/Hakefile
doc/014-bulk-transfer/Hakefile
doc/014-bulk-transfer/bulk-transfer.tex
doc/015-disk-driver-arch/Hakefile
doc/016-serial-ports/Hakefile

index 075a67c..a09832f 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/000-overview
 --
index 8993afd..59f2e73 100644 (file)
@@ -4,7 +4,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass[a4paper,twoside]{report} % for a report (default)
index 7c1e2f0..9182d5e 100644 (file)
@@ -11,7 +11,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 % \documentclass[a4paper]{article} 
index 6afe451..9572459 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/001-glossary
 --
index 1068462..d5d0357 100644 (file)
@@ -6,7 +6,7 @@
   
   This file is distributed under the terms in the attached LICENSE file.
   If you do not find this file, copies can be found by writing to:
-  ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+  ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 -}
   
 module Main where 
index d7a8c49..d5ae49b 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/002-mackerel
 --
index 5cae845..254194d 100644 (file)
@@ -1,10 +1,10 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright (c) 2011, ETH Zurich.
+% Copyright (c) 2011-2013, ETH Zurich.
 % All rights reserved.
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass[a4paper,11pt,twoside]{report}
@@ -15,8 +15,9 @@
 \usepackage{pifont}
 \usepackage{textcomp}
 \usepackage{amsmath}
+\usepackage{multirow}
 
-\title{Mackerel 1.4 User Guide}
+\title{Mackerel User Guide}
 \author{Barrelfish project}
 % \date{\today}                % Uncomment (if needed) - date is automatic
 \tnnumber{2}
@@ -30,6 +31,8 @@
 \vhEntry{1.3}{15.08.2011}{TR}{Added support for imports and new
   command-line options}
 \vhEntry{1.4}{09.12.2011}{TR}{New mapping for constants}
+\vhEntry{1.5}{11.03.2013}{TR}{Added quick reference, corrected errors,
+  and clarified field insertions}
 \end{versionhistory}
 
 % \intro{Abstract}             % Insert abstract here
@@ -1037,7 +1040,7 @@ For the device, \Mac generates:
 \item An \texttt{snprintf}-like function to
   pretty-print \emph{all} the register contents of the device, with prototype:
   \begin{quote}
-    \texttt{int DN\_pr(char *s, size\_t sz, DP\_CNSTS\_t v);}
+    \texttt{int DN\_pr(char *s, size\_t sz, DN\_t *v);}
   \end{quote}
   For a complex device, this is a lot of information, and may require a
   large buffer to fully capture.  This is also potentially a large
@@ -1094,7 +1097,7 @@ For a constants declaration of type \texttt{CNSTS}, having fields
   field value, or NULL if the argument does not correspond to a field
   value:
   \begin{quote}
-    \texttt{int DP\_CNSTS\_describe(DP\_CNSTS\_t e);}
+    \texttt{char *DP\_CNSTS\_describe(DP\_CNSTS\_t e);}
   \end{quote}
   Note that this function can also simply be used as a test of whether
   the value is valid. 
@@ -1134,6 +1137,11 @@ generate the following:
   \begin{quote}
     \texttt{DP\_REGTYPE\_t DP\_REGTYPE\_FLD\_insert(DP\_REGTYPE\_t r, FLDTYPE\_t val );}
   \end{quote}
+  Note that this insertion is \textit{not} in place, in contrast to
+  the function generated for \texttt{datatype} declarations (see
+  below).  Instead, this it returns a new value of the register type
+  with the specified field modified, and so is intended to be used in
+  a ``functional'' style. 
 
 \item For every field \texttt{FLD} (of type \texttt{FLDTYPE\_t}) of the
   register type, a function to extract a single field from a value
@@ -1176,8 +1184,10 @@ For a \texttt{datatype} declaration
   datatype, a function to insert a value into that field of a value
   of type \texttt{DP\_DATATYPE\_t}: 
   \begin{quote}
-    \texttt{DP\_DATATYPE\_t DP\_DATATYPE\_FLD\_insert(DP\_DATATYPE\_t r, FLDTYPE\_t val );}
+    \texttt{void DP\_DATATYPE\_FLD\_insert(DP\_DATATYPE\_t r, FLDTYPE\_t val );}
   \end{quote}
+  Note that this insertion is \textit{in place}, in contrast to the
+  ``functional'' style used for register types. 
 
 \item For every field \texttt{FLD} (of type \texttt{FLDTYPE\_t}) of the
   datatype, a function to extract a single field from a value
@@ -1940,4 +1950,108 @@ The \Mac source directory contains the files listed below.
 \item[TypeTable.hs] Representing register, data, and constants types.
 \end{description}
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\chapter{Quick reference}\label{chap:quickref}
+
+In the following quick reference, the following identifiers are used
+as examples, assuming a Mackerel file named \texttt{dev1.dev}: 
+
+\begin{description}
+\item[dev1] A device definition.\\
+\item[const1] A constants definition.
+\item[cval1] One value of the constants definition.\\
+\item[rtype2] A register type definition.
+\item[field2] A field in the above register type.
+\item[ftype2] The type of this field.\\
+\item[dtype3] A data type definition.
+\item[field3] A field in the above data type.
+\item[ftype3] The type of this field.\\
+\item[reg4] A register definition with its own type.
+\item[rtype4] Type of the above register.
+\item[field4] A field in the above register.
+\item[ftype4] The type of this field.\\
+\item[array5] A register array.
+\item[field5] A field in the elements of the above array.
+\item[ftype5] The type of this field.
+\end{description}
+
+\clearpage
+\section*{Quick list of Mackerel C declarations:}
+{\footnotesize
+\begin{tabular}{|l|l|}
+\hline 
+\textbf{C declaration} & \textbf{Description} \\ \hline 
+\multicolumn{2}{|l|}{Device declarations} \\ \hline
+\texttt{struct dev1\_t} & Device structure \\ 
+\texttt{typedef dev1\_t} & Device type defintion (as above) \\ 
+\texttt{enum dev1\_initials} & Initial register values \\
+\texttt{void dev1\_initialize( dev1\_t *dev, ... )} & Initialization \\
+\texttt{int dev1\_pr( char *s, size\_t sz, device\_t *v )} & Print \\
+\hline
+
+\multicolumn{2}{|l|}{Constants declarations} \\ \hline
+\texttt{typedef dev1\_const1\_t} & Integer type \\
+\texttt{\#define dev1\_cval1} & Macro giving integer value \\
+\texttt{char *dev1\_const1\_describe( dev1\_const1\_t e )} & Description \\
+\texttt{int dev1\_const1\_prtval( char *s, size\_t sz,
+  dev1\_const1\_t e )} & Print \\
+\texttt{int dev1\_const1\_chk( dev1\_const1\_t e)} & Check value \\
+\hline
+
+\multicolumn{2}{|l|}{Register type declarations} \\ \hline
+\texttt{typedef dev1\_rtype2\_t} & Type defintion \\
+\texttt{\#define dev1\_rtype2\_default} & Default value \\
+\texttt{int dev1\_rtype2\_prtval( char *s, size\_t sz,
+  dev1\_rtype2\_t v )} & Print \\
+\texttt{dev1\_rtype2\_t dev1\_rtype2\_field2\_insert( dev1\_rtype2\_t r, ftype2\_t val )} & Insert a field value \\
+\texttt{ftype2\_t dev1\_rtype2\_field2\_extract( dev1\_rtype2\_t r )} & Extract field value\\
+\hline
+
+\multicolumn{2}{|l|}{Datatype declarations} \\ \hline
+\texttt{typedef dev1\_dtype3\_t} & Pointer to datatype \\
+\texttt{const size\_t dev1\_dtype3\_size} & Size \\
+\texttt{typedef dev1\_dtype3\_array\_t} & Byte array of the same size \\
+\texttt{int dev1\_dtype3\_prtval( char *s, size t sz, dev1\_dtype3\_t
+  v )} & Print \\
+\texttt{void dev1\_dtype3\_field3\_insert( dev1\_dtype3\_t r, ftype3\_t val )} & Insert field \\
+\texttt{ftype3\_t dev1\_dtype3\_field3\_extract( dev1\_dtype3\_t r )} & Extract field \\
+\hline
+
+\multicolumn{2}{|l|}{Register declarations} \\ \hline
+\texttt{dev1\_rtype4\_t dev1\_reg4\_rd( dev1\_t *dev )} & Read register \\
+\texttt{dev1\_rtype4\_t dev1\_reg4\_rawrd( dev1\_t *dev )} & Raw read \\
+\texttt{void dev1\_reg4\_wr( dev1\_t *dev, dev1\_rtype4\_t val )} & Write register \\
+\texttt{void dev1\_reg4\_rawwr( dev1\_t *dev, dev1\_rtype4\_t val )} & Raw write \\
+\texttt{ftype4\_t dev1\_reg4\_field4\_rdf( dev1\_t *dev )} & Read field \\
+\texttt{void dev1\_reg4\_field4\_wrf( dev1\_t *dev, ftype4 val )} & Write field \\
+\texttt{ftype4\_t dev1\_reg4\_field4\_rd\_shaddow( dev1\_t *dev )} & Read shadow \\
+\texttt{int dev1\_reg4\_pr( char *s, size\_t sz, dev1\_t *dev )} & Print \\
+\hline
+
+\multicolumn{2}{|l|}{Register array declarations} \\ \hline
+\texttt{const int dev1\_array5\_length} & Num. registers \\
+\texttt{dev1\_rtype5\_t dev1\_reg5\_rd( dev1\_t *dev, int i )} & Read register \\
+\texttt{dev1\_rtype5\_t dev1\_reg5\_rawrd( dev1\_t *dev, int i )} & Raw read \\
+\texttt{void dev1\_reg5\_wr( dev1\_t *dev, int i, dev1\_rtype5\_t val )} & Write register \\
+\texttt{void dev1\_reg5\_rawwr( dev1\_t *dev, int i, dev1\_rtype5\_t val )} & Raw write \\
+
+\texttt{ftype5\_t dev1\_reg5\_field5\_rdf( dev1\_t *dev, int i )} & Read field \\
+\texttt{void dev1\_reg5\_field5\_wrf( dev1\_t *dev, int i, ftype5 val )} & Write field \\
+\texttt{ftype5\_t dev1\_reg5\_field5\_rd\_shaddow( dev1\_t *dev, int i
+  )} & Read shadow \\
+\texttt{int dev1\_reg5\_pri( char *s, size\_t sz, dev1\_t *dev, int i )} & Print \\
+\texttt{int dev1\_reg5\_pr( char *s, size\_t sz, dev1\_t *dev )} &
+Print array \\
+\hline
+
+\multicolumn{2}{|l|}{Space access functions} \\ \hline
+\texttt{uint\textit{x}\_t dev1\_space6\_read\_\textit{x}(
+    dev1\_t *dev, size\_t offset )} & Read a value \\
+\texttt{void dev1\_space6\_write\textit{x}(
+    dev1\_t *dev, size\_t offset, uint\textit{x}\_t value )} & Write a
+    value \\
+\hline
+
+\end{tabular}}
+
 \end{document}
index c2eeddd..8dba4fe 100644 (file)
@@ -4,7 +4,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass[a4paper,twoside]{report} % for a report (default)
index eecf006..a53c5d2 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/003-hake
 --
index f1ec722..8f5c078 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/004-virtual_memory
 --
index c83f64e..5033133 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/005-scc
 --
index c4825a9..626e682 100644 (file)
@@ -4,7 +4,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass[a4paper,twoside]{report} % for a report (default)
index 7e2976f..37e6ef1 100644 (file)
@@ -4,7 +4,7 @@
 #
 # This file is distributed under the terms in the attached LICENSE file.
 # If you do not find this file, copies can be found by writing to:
-# ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+# ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 ##########################################################################
 
 all: rcce_lu.pdf rcce_bt.pdf rcce_lu_speedup.pdf rcce_bt_speedup.pdf
index 461e170..0a029e3 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/006-routing
 --
index 3268b1d..03dc711 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/008-tracing
 --
index 3e179bd..bd79ed8 100644 (file)
@@ -4,7 +4,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass[a4paper,11pt,twoside]{report}
index ab41e46..5f29728 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/009-notifications
 --
index 24404ba..ba6784f 100644 (file)
@@ -4,7 +4,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass[a4paper,11pt,twoside]{report}
index d306cf5..eb4e9ca 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/010-spec
 --
index fa35c6a..993bf92 100644 (file)
@@ -4,7 +4,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass{scrreprt}
index 508ea15..715db8c 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/011-idc
 --
index b2a254c..db908ad 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/012-services
 --
index 8b13c40..9ae94c5 100644 (file)
@@ -4,7 +4,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass[a4paper,twoside]{report} % for a report (default)
index 25c7579..88873fc 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/004-virtual_memory
 --
index ff1c85a..08a9926 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/014-bulk-transfer
 --
index 05ed9a8..2ed2b2f 100644 (file)
@@ -4,7 +4,7 @@
 %
 % This file is distributed under the terms in the attached LICENSE file.
 % If you do not find this file, copies can be found by writing to:
-% ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+% ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \documentclass[a4paper,twoside]{report} % for a report (default)
index 07746ef..63219dc 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/015-disk-driver-arch
 --
index 1272545..3030ff5 100644 (file)
@@ -4,7 +4,7 @@
 --
 -- This file is distributed under the terms in the attached LICENSE file.
 -- If you do not find this file, copies can be found by writing to:
--- ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
 --
 -- Hakefile for /doc/016-serial-ports
 --