replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

kaluga: Make sure start_decnet doesnt break x86

Also refactor irq src cap management int int_caps.c/h

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

Fix bug in libdomain/domain_cap_hash()

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>

numa: changing PRI macros to SCN in a scanf-alike call

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

making hwid_t to be uintptr_t

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

Adding type for the core's hardware id hwid_t

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

systime: introducing system time based on time stamp counter/global timer, removing kernel_now

Signed-off-by: Adam Turowski <adam.turowski@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>

Adding an option to warn about comparisions that are always true or false.

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

hamlet, kpi types, caps: add pasid type

The type represents a physical address space identifier. This patch adds support
in hamlet for a `pasid' type and declares the corresponding pasid_t and macros
in barrelfish_kpi/types.h. It changes caps.hl to use the new type instead of
uint32. The pasid type is represented by a uint32 at the moment.

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

libnuma: changes in type defs and macros

* moved definition of nodeid_t into types.h
* changed printf specifies to use PRIuNODEID
* changes in debug macros to take arguments
* additional sanity checks for core/node ids

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.

Fixed bug in resource id defines.

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

Added gensize_t, implemented get_address and get_size.

general cleanup of monitor internals

* start to abtract management of bindings to other monitors
(in preparation for multihop support)

* move code out of header files -- if the inlining is such a big
win, we can put it back later, but it seemed excessive

* fix a lot of irritating misnamed variables and
fields: most "closure" objects, and a lot of "st" pointers,
were in fact pointers to bindings

* deprecated num_cores_request message

* removed pingpong code from intermon interface

* removed some dead code

there should be no changes to runtime behaviour or APIs/interfaces
outside the monitor

--HG--
rename : usr/monitor/iref.h => usr/monitor/iref.c

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

rename MAX_CPUS to MAX_COREID, and increase it to 254 (to match an 8-bit coreid_t)

* Kludged around the limitations of coremask_t enough to keep rcap_db_null compiling.
* Removed the config option that allowed users to lower it. this
doesn't make much sense any more, unless we are going in for really
silly compile-time optimisations. This change requires updating
Config.hs

Initial version of public stable barrelfish repository.