replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@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>

octopus: Use flounder definitions to specify size of result buffer

Increase response buffer size to 4096 in interface, and use interface
definitions to define size of skb result buffer, this is a stopgap measure
before we figure out a new unlimited interface for querying the SKB (directly
or through octopus) over the new fixed-size buffer flounder infrastructure.

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>

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>

Fix bug in octopus locking code.

Trigger and Return binding was switched when creating the trigger
struct which lead to trigger not being installed on server side.
Unfortunately this is not type checked :-(

Replaced skb and ACPI with arrakis branch.

Fix bug in octopus locking code.

Trigger and Return binding was switched when creating the trigger
struct which lead to trigger not being installed on server side.
Unfortunately this is not type checked :-(

Fixed messed up function call ordering in set_with_idcap_handler in octopus service.

Octopus: Add ability to set and get records by id capability.

The intent with this patch is that only someone possesing a certain id cap
can retrieve records that were stored with this id cap.

To this end, two new functions were added to the client interface of octopus:

* oct_set_with_idcap(struct capref idcap, const char *attributes, ...)
Sets a record using the id capability as the key/name of the record.

* oct_get_with_idcap(char **data, struct capref idcap)
Retrieves a record using the id capability as the key/name.

Note that octopus and the SKB do not support dedicated namespaces atm.
Therefore a record saved with oct_set_with_idcap() could be retrieved by
oct_get().

Moreover, format octopus.if to 80 columns.

Fixed copyright address

Clang: resolve several minor warnings.

SKB compiles for ARM. However ec_init fails with weird errors,
most likely due to a bug in the memory implementation for ARM.

octopus debug output compiles on 32bit.

Compiles again after merge with current tip.

Make sure everything compiles on 32bit. Still need to run tests though.

renaming defines

--HG--
branch : octopus.renaming

Renaming errors and header defines...

--HG--
branch : octopus.renaming

rename dist2 interface to octopus

--HG--
branch : octopus.renaming
rename : if/dist2.if => if/octopus.if

s/dist_/oct_/

--HG--
branch : octopus.renaming

Renaming header files.

--HG--
branch : octopus.renaming

some renaming

--HG--
branch : octopus.renaming
rename : include/dist2/barrier.h => include/octopus/barrier.h
rename : include/dist2/capability_storage.h => include/octopus/capability_storage.h
rename : include/dist2/definitions.h => include/octopus/definitions.h
rename : include/dist2/dist2.h => include/octopus/dist2.h
rename : include/dist2/getset.h => include/octopus/getset.h
rename : include/dist2/init.h => include/octopus/init.h
rename : include/dist2/lock.h => include/octopus/lock.h
rename : include/dist2/parser/ast.h => include/octopus/parser/ast.h
rename : include/dist2/pubsub.h => include/octopus/pubsub.h
rename : include/dist2/semaphores.h => include/octopus/semaphores.h
rename : include/dist2/trigger.h => include/octopus/trigger.h
rename : include/dist2_server/debug.h => include/octopus_server/debug.h
rename : include/dist2_server/init.h => include/octopus_server/init.h
rename : include/dist2_server/query.h => include/octopus_server/query.h
rename : include/dist2_server/service.h => include/octopus_server/service.h
rename : lib/dist2/Hakefile => lib/octopus/Hakefile
rename : lib/dist2/client/barriers.c => lib/octopus/client/barriers.c
rename : lib/dist2/client/capability_storage.c => lib/octopus/client/capability_storage.c
rename : lib/dist2/client/common.h => lib/octopus/client/common.h
rename : lib/dist2/client/getset.c => lib/octopus/client/getset.c
rename : lib/dist2/client/handler.h => lib/octopus/client/handler.h
rename : lib/dist2/client/locking.c => lib/octopus/client/locking.c
rename : lib/dist2/client/nameservice_client.c => lib/octopus/client/nameservice_client.c
rename : lib/dist2/client/dist2.c => lib/octopus/client/octopus.c
rename : lib/dist2/client/pubsub.c => lib/octopus/client/pubsub.c
rename : lib/dist2/client/semaphores.c => lib/octopus/client/semaphores.c
rename : lib/dist2/client/strnatcmp.c => lib/octopus/client/strnatcmp.c
rename : lib/dist2/client/strnatcmp.h => lib/octopus/client/strnatcmp.h
rename : lib/dist2/client/trigger.c => lib/octopus/client/trigger.c
rename : lib/dist2/parser/Makefile => lib/octopus/parser/Makefile
rename : lib/dist2/parser/ast.c => lib/octopus/parser/ast.c
rename : lib/dist2/parser/flex.h => lib/octopus/parser/flex.h
rename : lib/dist2/parser/parse.c => lib/octopus/parser/parse.c
rename : lib/dist2/parser/parse.y => lib/octopus/parser/parse.y
rename : lib/dist2/parser/read.c => lib/octopus/parser/read.c
rename : lib/dist2/parser/scan.c => lib/octopus/parser/scan.c
rename : lib/dist2/parser/scan.l => lib/octopus/parser/scan.l
rename : lib/dist2/parser/test_parser.c => lib/octopus/parser/test_parser.c
rename : lib/dist2/parser/y.tab.h => lib/octopus/parser/y.tab.h
rename : lib/dist2/server/capstorage.c => lib/octopus/server/capstorage.c
rename : lib/dist2/server/init.c => lib/octopus/server/init.c
rename : lib/dist2/server/queue.c => lib/octopus/server/queue.c
rename : lib/dist2/server/queue.h => lib/octopus/server/queue.h
rename : lib/dist2/server/service.c => lib/octopus/server/service.c