replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

caps: adding endpoint cap type for UMP endpoints

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

Removing the unnecessary syscall GET_ABS_TIME from x86_64

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

Removing the unnecessary syscall GET_ABS_TIME from x86_64

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

T258: Delete GPT cspace functionality and rename new functions

This commit deletes all the old GPT cnode code, and renames the new two-level
functions to the "old" names (e.g. caps_lookup_slot() is now a two-level
cspace function).

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

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

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

IRQ: added support to X86_32 kernel

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

T187: Update x86_32 to mapping capability interface.

Also move page_mappings_unmap() to paging_generic.c

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

T24: remove remaining SCC code

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

T119: kernel: Implement cap invocation for arm, x86_32

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

T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall. Use capinvoke from fish instead. Improve output formatting.

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

T119: kernel: Unify debug_print_capabilities in sys_debug.c

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

x86: implement modify flags for x86_32 and improve modify flags for x86_64.

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

Factored out IPI sending invocations to their own cap instead of kernel cap.

Remove unneeded code.

Make sure it compiles on x86 again.

Boot driver for ARM can now boot a pandaboard core.

Put KCB syscalls in platform independent kernel source.

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

Fix invocations, added missing syscall handler

Integrating coreboot for 32bit.

x86_32: simple test works.

monitor: removed unused monitor_identify_cnode_get_cap.

Make x86_32 compile; some of the monitor invocations are disabled right now.

Redesigned hw page table dumping to be an invocation on a dispatcher cap.

This has two benefits over the old design where dumping hw page tables was a
kernel cap invocation and took a dispatcher cap as an argument:
1) This is probably the most common use case, you don't have to go through
the monitor if you just want to dump your own hw page tables.
2) A domain which has the dispatcher cap of another domain (mostly because
it's going to spawn said domain) can dump the hw page tables of the
to-be-spawned domain without capability address contortions.

Integrated capops with monitor_cap_create.

Note that cap_create_from_existing does not currently check that the
supplied owner matches existing local copies of the cap.

trace: make it compile for x86_32

New tracing infrastructure

This is a Distributed Systems Lab project by
Alexander Grest <agrest@student.ethz.ch> and David Stolz <stolzda@ethz.ch>

x86_32: Implemented new modify_flags invocation and associated functionality.

Cleanup function names and converted printfs to debug() in kernel component of new memory interface.

x86: Added mapped capability in unmap syscall arguments.

x86_32: Implemented missing parts of new kernel memory system.

Added ID capability, providing a system-wide unique ID.

The ID capability currently supports one invocation called 'identify', to
retrieve the system-wide unique ID.

The Domain capability, which was never used, is removed with this patch, since
the ID capability provides a more general capability.

Added ability to create certain capabilities at runtime (without using retype).

The CNode capabilities are enhanced with a new invocation 'CNodeCmd_Create',
allowing to create new capabilities at runtime.
Only certain types of capabilities can be created this way. If invoked on a
capability type, that is not creatable at runtime the error
SYS_ERR_NOT_CREATABLE is emitted.

New SCC boot method. Instead of duplicating memory to all SCC cores'
private memory, the BSP core maps an appropriate LUT and copies the
needed modules.

Tremendously speeds up boot process.

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

Adapt existing mdb functions in kernel to use new tree.

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

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

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.