replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

armv7: make compile

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

LMP: endpoint identify working for both ARMv7 and X86_64

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

libbarrelfish,arm: add missing cap invocation wrapper for vnode_modify_flags

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

ARMv7: CPU driver relocations done.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

IRQ: use uint64_t everywhere for int numbers, renamed controller

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

T272: armv7: implement two-level cspace layout

Closes T272.

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

T191: armv7: refactor code to use range retype and bytes-based identify

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: ARM invocations added

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

Cleanup bugs exposed by -Wtype-limits.

* Assertions in armv7/armv8 invocation stubs
* Some comparisons in lib/virtio
* Some comparisons in usb stack
* Linenoise using plain char (which may or may not be signed according
to C standard)
* A comparison in octopus

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

T187: armv7: migrate to mapping caps.

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

32bit arm: fix large page support. Close T148.

This implements a bit field to track the mapping of individual L2 tables for
armv5 and armv7 user space page table management. Having this tracking
bitfield we can use 1MB sections without having weird interference between
unused L2 tables and creating new section mappings.

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

32bit arm: fix large page support. Close T148.

This implements a bit field to track the mapping of individual L2 tables for
armv5 and armv7 user space page table management. Having this tracking
bitfield we can use 1MB sections without having weird interference between
unused L2 tables and creating new section mappings.

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>

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

Boot driver for ARM can now boot a pandaboard core.

Added cap_invoke macros for ARM.

Make sure ARM kernels are working agian.

arm: added missing bits for ID cap creation.

Fixed monitor arm code.

armv7: compiles.

arm: added missing bits for ID cap creation.

Added (unimplemented) invoke_idcap_identify() to ARM.

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.

armv5: implemented new modify_flags invocation.

arm: pmap code cleanup and fixed new kernel memory interface.

More ARM code.

Incomplete ARM implementation.

various adjustments to tests and benchmarks to get the to run with arm_gem5, adjusted cpu clock to 1GHz, since a lot of configurations inside gem5 assume 1Ghz clock

fixed a inlining bug with -O2, implemented ipi notifications, up to 4 cores are now supported on gem5

Commit 88d9621eb81e did not include arch-specific code for arm.

fixed an inlining bug in arm-gcc, replaced chips with skb, add loglevel option to gem5script

fixed an inlining bug of arm-gcc 4.6.1 and lower

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

Initial version of public stable barrelfish repository.