From 36afe76d33dd0a136253fc75075596863b0f454b Mon Sep 17 00:00:00 2001
From: Bjoern Doebel <doebel@tudos.org>
Date: Thu, 8 Aug 2013 13:48:34 +0200
Subject: [PATCH] Add protected white space

Change-Id: I49d393fc53ca22822c7f0d7f044d4383f7207e90
---
 src/experiments/l4-sys/manual.pdf | Bin 172322 -> 172322 bytes
 src/experiments/l4-sys/manual.tex |   6 +++---
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/experiments/l4-sys/manual.pdf b/src/experiments/l4-sys/manual.pdf
index 6d2a3e12932fe12b1485f41975f2605766f59611..0902a40f93d1736a98732863029711def72a5e3f 100644
GIT binary patch
delta 104
zcmZ2<h-=Xyu7(!IElj@sOy;K3{ri~|f%NvGekM15XJd0W6H^l>HzPAgCj(<gXIEEa
dLlYNER|^XRGebvbM>_=@LQ1y(p2wul1OO378~p$P

delta 104
zcmZ2<h-=Xyu7(!IElj@sOr}QD{ri~|f%NvGekM15XGaT16DK1>7Z)QJLt}F{Cnrls
d19KxMQ&UT47b62hCp!fjLQ1y(p2wul1ON?K8`%H=

diff --git a/src/experiments/l4-sys/manual.tex b/src/experiments/l4-sys/manual.tex
index 758eaa2c..83dcef58 100644
--- a/src/experiments/l4-sys/manual.tex
+++ b/src/experiments/l4-sys/manual.tex
@@ -185,8 +185,8 @@ enables the filter functionality to store only those
 instructions that match the filter.
 Each instruction in the trace requires
 an address plus an unsigned breakpoint counter,
-which means 8 bytes per instruction on a 32-bit system
-and 12 bytes per instruction on a 64-bit system.
+which means~8 bytes per instruction on a 32-bit system
+and 12~bytes per instruction on a 64-bit system.
 
 If \verb+L4SYS_FILTER_INSTRUCTIONS+ is not set, the instruction
 to perform the fault injection at is determined by single-stepping
@@ -203,7 +203,7 @@ To obtain this number and optionally the instruction trace,
 set \verb+PREPARATION_STEP+ to \texttt{2} and recompile, then execute
 the experiment client. You do not have to pass parameters to Bochs
 any more, because the configuration is overwritten with the
-state saved in step 1.
+state saved in step~1.
 
 After the program has finished, you will get a summary on the
 total of instructions executed.