skb: disable printing out benchmark values for certain queries.

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

decoding net: benchmarking xeon phi usecase and printing it to stdout

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

hwmodels: make the testcase working

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

Hack: Only add interesting PCI model nodes

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

skb: correct time with the skb query time measure

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

skb: measure the execution of the queries

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

Fix SKB query syntax, add decoding_net debugging

Signed-off-by: Lukas Humbel <lukas.humbel@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>

SKB: Workaround to generate fact listing

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

SKB: Fix crash when skb buffers are full

Signed-off-by: Lukas Humbel <lukas.humbel@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>

skb: Update copyright notices.

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

skb: improve debugging

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

skb: eclipseclp deprecated flush(1) in favor of flush(output).

The same holds for flush(0), which is now flush(error).

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

Compiles again on 32bit after merge with newlib.

Clean-up in skb initialization code. Removed some debug output.

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

Trigger Support

Added trigger, can get rid of exists_not call, can make working barrier implementation.
Need to make sure everything is thread safe since we have a 2nd threads for events
now.

Fixed ec_resume() handling for SKB Queries

There is one Query for the skb (the one in the pci code using [bridge_page]),
which has multiple results. In that case they must either be handled using
ec_resume() to iterate through them or cut using ec_cut_to_chp(), otherwise
subsequent ec_resume() calls provide wrong results. The current
fix just discards multiple results using ec_cut_to_chp().

dist2 refactoring done

--HG--
rename : lib/dist2/parser/ast.h => include/dist2/parser/ast.h
rename : lib/dist2/server/service.h => include/dist2_server/service.h

restructure file layout

--HG--
rename : usr/skb/dist/service.c => lib/dist2/server/service.c
rename : usr/skb/dist/service.h => lib/dist2/server/service.h

move server code into library

--HG--
rename : lib/dist2/Hakefile => lib/dist2/client/Hakefile
rename : lib/dist2/common.h => lib/dist2/client/common.h
rename : lib/dist2/dist2.c => lib/dist2/client/dist2.c
rename : lib/dist2/getset.c => lib/dist2/client/getset.c
rename : lib/dist2/locking.c => lib/dist2/client/locking.c
rename : lib/dist2/pubsub.c => lib/dist2/client/pubsub.c

Fixed bug in locking code, still some bugs remain

working on locking / try to manipulate objects using ast functions

improved locking function, some refactoring in server for better separation

weird bug in skb queue

publish subscribe tests working

reworked mem management in skb server

--HG--
rename : usr/skb/skb_debug.h => usr/skb/include/skb_debug.h

basic publish/subscribe functionality

Initial api for get/set working in combination with parser and eclipse

added dist2 library, test and parser in skb

Initial version of public stable barrelfish repository.