replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Return number of instance spawned in spawn_on_all_cores. This also allows to remove the get_num_cores call in the monitor and is the more sane approach anyways with dynamic cores.
Initial version of public stable barrelfish repository.