replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Closes T154: pmap, kernel: Add support for write-combining on ia32/64

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

T123: kernel: remove scc-specific code from x86_32 init.c

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

T121: kernel: fix BSP KCB creation on x86_32 and armv5

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

kernel: Remove references arch_init to bspkcb which does not exist anymore

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

kernel: fix object creation for KCB on arm, x86_32

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

Ensure all Mackerel files are included explicitly from dev/

Boot driver for ARM can now boot a pandaboard core.

Add support to identify KCB on 32bit and correctly abort if it fails.

Move boot-up assembly to usr/drivers.

Integrating coreboot for 32bit.

Refactoring core boot-up logic in kernel.

Move architecture independent logic into single arch-independent
syscall for all platforms. Handle arch specific boot-up with
specialized function (usually defined in start_aps.c).

Removed some redundant (identical) files.

--HG--
rename : kernel/include/arch/x86_64/debug.h => kernel/include/arch/x86/debug.h
rename : kernel/include/arch/x86_64/pic.h => kernel/include/arch/x86/pic.h

New serial interface inside the CPU driver.

Removed RCK_EMU and updated SCC tech note.

Removed broken SCC klog output mechanism. Makes more memory available. Also
use 16MB at the end of address space.

newlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in format strings

Again this is needed because newlib defines uint32_t as unsigned long.
(In retrospect, I should just changed newlib's uint32_t to unsigned int)

Checkpoint:
compiles and boots qemu for x86-{32,64}-{newlib,freec}
Also, a couple of tests on real hardware (x86_64 only) work

clean up and add some flexbility to mapping of APIC IDs and core IDs

* introduced kernel boot parameter to control the core ID for the BSP
(on x86, where it was always zero)
* introduced spawnd parameter to allow all core IDs to start from an offset
(I'm using this for boot on MIC)
* added monitor API to query the local core's APIC ID (some drivers might need it)
* fixed some kernel paths that were needlessly reading the APIC ID out of the
APIC all the time

Merge from ASPLOS tree.

added 64-bit support to dite

This actually turned out not to be what I needed, but I'm hopeful it
may prove useful in the future. Also added support for real
command-line arguments, including specifying the output file as an
argument rather than in the config file.

--HG--
rename : kernel/include/arch/scc/diteinfo.h => kernel/include/diteinfo.h

Initial version of public stable barrelfish repository.