replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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>

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>

libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

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

flounder: making const pointers in receiving handlers, using CONST_CAST as a temporary solution in few places but finally it should be removed

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

monitor: fixing reordering of LMP messages during UMP cap transfer

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

Move canonical definitions of MIN/MAX macros to bitmacros.h, remove duplicated definitions in lib and usr

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

T191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in bytes

This only changes the actual struct capability reprensentation for these
types. Most of the code dealing with these types now uses log2ceil(bits) to
set the new `bytes` field.

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

Remove dead code.

Added missing include in usr/monitor/inter.c

Integrating coreboot for 32bit.

Not quite sure why we do monitor_initialize after remove kcb?

Only send back somethign if binding looks valid.

Version for Benchmarking.

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

Inform other monitors of new monitor again.

Implemented give.

Give KCB should work like this.

Remove most of the printfs for debugging.

up & down works again.

Revert "[HACK] changes some measurements and makes code compile."

This reverts commit a5704d79a0ec8fb150b27c7e200708bb448b43ba.
Was not intended to push this.

[HACK] changes some measurements and makes code compile.

DO not commit upstream.

Fixed x86boot 'take' operation implementation.

Added moving kcb off shared cpu driver, currently crashes in newly started kernel on target core.

x86boot can give kcb from a core to core 0.

invoke by calling: x86boot auto give 1 0
Give kcb to other cores than 0 currently untested, and probably does not yet
work.

Fix some code, able to do benchmarks.

sys_suspend addition compiles.

Using sys_suspend syscall to halt a core and resume later.

Also adding user-level part where we do something similar to sys_yield, ie. save
the context for enabled dispatcher while disabled and set the dispatcher to
enabled again in the kernel. This ensures we will jump back to the right part
when scheduling without ever returning from the syscall.

Keyboard working.

Can halt/resume cores again using monitor/mwait.

Added sane printf.

Debug prints.

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

Working on power-down over monitor.

Change boot_core_request / boot_core_reply.

Core bootstrap driver now sends boot_core_request to monitor with the UMP
channel cap. Monitor replies as soon as it has confirmation from newly booted
monitor that it's up.

I probably want to rename those messages now.

changed some debug prints in monitor and removed non-necessary debug output in fish and flounder stubs.

monitor debug stuff + other debug msgs.

Mark's capabilities merged with upstream.

Test Plan: Run all harness tests

Reviewers: zgerd

Differential Revision: https://code.systems.ethz.ch/D1

Removing the boot_initialize_request call.

Rewrote distributed revoke and delete handling.

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

Added function to initialize intermon rx_vtbl capop entries.

Added layer to encapsulate transferring caps across intermon.

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

Use give_away_cap to implicitly delete caps being sent to local domains for a channel.

Fixed inconsistent rx handler names in capops.

Do not engage monitors in distributed cap ops until mem alloc is setup.

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

Split up and moved around monitor's private includes.

New tracing infrastructure

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

Some debug output changes.

Continuation for boot_core_reply_handler in monitor.

Small addition that allows booting cores in parallel. We track
where we sent notifications to avoid duplicates and we don't send
notifications to monitors that are not completely up yet (to
avoid memory allocation errors).

Added replication for ramfs iref among monitors.

--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

Remove old routing/group communication library.

As discussed briefly on the list (22.{02,12}.2011), the library was
unused since early this year, and has been deprecated because it:
* is unable to interface to flounder/THC
* assumes that a set of core IDs can be expressed in a single-word bitmap
* doesn't work on machines with large (> 32?) numbers of cores (but
this is probably just a bug?)

Since we have the new multihop code in the tree, and seem to have
decided that this is an architectural dead-end, I'm removing this code
in the interest of least confusion as we start building functionality
on the new multihop code.

The one major side-effect of this change is that it is no longer
possible to compile the non-NULL remote cap management database
implementations (rcap_db_central, rcap_db_twopc). The code remains in
the tree for future resurrection, however.

Reverted commit 34798966b84b, which was mistakenly applied twice.

Fixed a small bug with the multihop messaging. Other interconnect drivers written down after the multihop code intialization should be loaded as well. The return statement shouln't be there

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.

Initial version of public stable barrelfish repository.