History log of /barrelfish-master/if/queue_service.if
Revision Date Author Comments
# 9bd8d1d5 03-Apr-2019 Reto Achermann <reto.achermann@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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


# 7accae4a 12-Jun-2018 Roni Häcki <roni.haecki@inf.ethz.ch>

queue_service: adding coreid to requests

otherwise there is no way to decide what kind of endpoint we have to
create (LMP/UMP).

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


# 8a94907b 12-Jun-2018 Roni Häcki <roni.haecki@inf.ethz.ch>

queue_service: rough skeleton for serivce

The queue service should be used as a way that network stacks
of applications can request endpoints of NIC drivers from which
queues can be requested. Each endpoint should only be used
once to request a queue.

Up to now this was not a problem since we could directly give the
endpoint to request a driver to the net_socket_server when it is
started. But to generalise this we need a service as described above.

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