replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Fix extraneous argument in ARMv7 LMP macro

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

T272: armv7: implement two-level cspace layout

Closes T272.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

armv7: compiles.

Replaced caddr_t type with capaddr_t to avoid conflict with libc

for i in $(find . -type f)
do
grep -r caddr_t $i
if [ $? -eq 0 ]
then
sed 's/caddr_t/capaddr_t/g' $i > $i.sed
mv $i.sed $i
fi
done

Initial version of public stable barrelfish repository.