replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Remove invoke_frame_identify, replaced with frame_identify().

This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.

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

monitor: support for registering revoke notifications

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

monitor: don't overwrite monitor state with connection information

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

monitor: use the creation of endpoints functionality for the RPC server

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

flounder: implementing support to pass caps over UMP connection for endpoints

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

proc_mgmt: merged proc management client with spawnd client

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

proc_mgmt: fixed several dependency issues

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

Refactor process manager to enable spawnd discovery.

The process manager now allocates a special LMP endpoint for monitor.0 and
gives said endpoint to monitor.0 as part of the export_cb. After monitor.0
spawns spawnd, it uses that endpoint to send the new spawnd's iref to the
process manager. The latter then binds with spawnd, to keep track of its state.

For app cores, a similar workflow applies, except inter-monitor communication
is now performed. Namely, the new app core's monitor sends the new app core's
spawnd to monitor.0, which forwards it to the process manager. The latter then
binds with the app core's spawnd just the same.

Diagrams for the discovery protocol can be found at https://goo.gl/eJE37u.

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

flounder: adding local, intra-domain backend (RPCs work only with rpc rx table)

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

Adjustments of IPC to match new convention (static buffers).
(Flounder) Fixing a token passing in 32-bit architectures.

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

monitor: remove unnecessary log2ceil and 2^ for span_domain_request()

T258, T264, T270: Implement two-level cspace layout using L1/L2 CNode objects.

distops functionality is NYI.

This commit also makes the root cnodes explicit for sys_map(), closes T270.

Notable changes:
* LRPC LMP endpoints are regular capabilities in L2 cnode, no longer in root
cnode.
* Capability operations take a capability address for the root cnode relative
to which capability addresses are to be resolved. The root cnode capability
address must be resolvable in the current domains cspace.

Closes T264.

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

T191: x86_64: frame_identify returns size in bytes

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

T119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information

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

T119: implement syscall and monitor interface to debug_print_capabilities

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

Remove dead code.

Remove old code.

Remove no longer needed message handlers.

Removed a bunch of debugging output.

tmp: debugging pandaboard fish not able to spawn domains.

Revert "Debugging pandaboard lockups."

This reverts commit c9508d8dec6fa9b6fdbd0ca7d59ab82d19ddb094.

Remove a bunch of printfs that we don't need anymore.

Conflicts:
usr/monitor/include/monitor_debug.h
usr/monitor/monitor_server.c
usr/monitor/queue.c

Version for Benchmarking.

- Added ap_dispatch lock to measure time to update.
- Benchmark main in x86boot.

Working on a multihop power-down method for remote cores.

Working on power-down over monitor.

tmp

Debugging pandaboard lockups.

Hacked x-core cap transfer to short-circuit on null caps.

monitor debug stuff + other debug msgs.

WIP migrate functionality.

Remove dead code in monitor_server.c.

Consistently use conts to avoid duplicate error handling code in copy op.

Added layer to encapsulate transferring caps across intermon.

Added individual remote relations bits for copies/ancestors/descendants.

Removed some debugging prints.

Fixed some cap locking and other issues in capops. It boots!

Use (now functioning) lmp give_away_cap to implement ump give_away_cap.

Completed implementation of "give away" cap support.

Fixed "copy" to properly clean up temporary caps and set copied cap to remote.

First stage of integrating "copy" into ump cap transfer.

Added a hack in mem_serv to initialize its monitor rpc client.

Fix Flounder messaging (TX_BUSY) for iref allocation inside the monitor.

New tracing infrastructure

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

Removed some debug output in monitor code dealing with iref handling.

--HG--
branch : octopus.chips-remove

This is currently work in progress. Started to remove dependencies from chips.
Now everything boots somewhat but for some reason event thread cannot be started
yet.

--HG--
branch : octopus.chips-remove

simplify out-of-band cap transfer to avoid asynchronously reporting errors back to the sender

As discussed on the mailing list (10.01.2012 "Proposed change to
out-of-band cap transfer"), this change changes the semantics so that
an error in delivery of the cap is reported to the receiver (rather
than asynchronously to the sender) along with a NULL capref. This
simplifies the implementation within the monitor, and results in saner
error handling on both sides.

remove support for Beehive

see the mailing list discussion at the end of December 2011 for motivation

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

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

move bootinfo request messages to monitor's RPC interface; introduce flounderExtraDefs

flounderExtraDefs fixes the problem of needing a dependency on the
header files for an RPC interface, without causing the code for that
interface to be generated (e.g. because it is already part of
libbarrelfish)

Reverted commit 34798966b84b, which was mistakenly applied twice.

Fixed domain spanning under memory reclamation: Need to mark custom
created caps as remote.

Fixed domain spanning under memory reclamation: Need to mark custom
created caps as remote.

Fixed domain spanning under memory reclamation: Need to mark custom
created caps as remote.

Apply the multihop patch by alexander grest based on his bachelor thesis

Merge from ASPLOS tree.

GCC compilation fixes for ICC compilation fixes

(sigh...)

fixes to enable compilation with ICC

The primary changes are avoiding pointer arithmetic on void * types, which is
evidently a GCCism: instead a byte-sized pointer type should be used.

Other changes include workarounds to avoid uninitialised variable warnings,
and an insistence that const values have an initialiser (being static and implicitly
initialised to zero isn't sufficient).

Initial version of public stable barrelfish repository.