replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
arms: unifying interrupts, timers and platform data Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
ARMv7: Added arch-specific platform info. Certain things, such as the number of CPUs, can only be probed easily (or at all), in the kernel. Signed-off-by: David Cock <david.cock@inf.ethz.ch>