replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

IRQ: Add range to IRQSrc cap

To prepare for MSIx, we change the IRQSrc cap so that it does not
represent a single interrupt source but a whole range. This commit
changes it to a range.

Signed-off-by: Lukas Humbel <lukas.humbel@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 invocations to x86_32

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

x86_32: fix nonsense comparisons

Signed-off-by: Simon Gerber <simon.gerber@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>

arrakis merge: make x86_32 build

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

T119: kernel: Implement cap invocation for arm, x86_32

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>

Fixed usage of kernel cap in armboot. Using IPICmd_Send_Start to call Spawn_core for now.

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

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

Fix invocations, added missing syscall handler

Added cap_invoke macros to x86-32 bit architecture.

Integrating coreboot for 32bit.

Remove ancient compiler overrides due to bugs.

Make everything compile for 32bit.

Fixes mostly printf specifiers all over the source tree.

Fixed monitor arm code.

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

Make everything compile for 32bit.

Fixes mostly printf specifiers all over the source tree.

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.

x86_32: Implemented new modify_flags invocation and associated functionality.

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.

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.