replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
T207: Implement local_phys_is_valid() and call this in paging_dump_tables() Closes T207. Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Initial version of public stable barrelfish repository.