Martin Stein
f128a52e8b
hw: get rid of struct Msg and Msg::Type
...
Struct Msg was introduced due to the handling of pagefaults
and interrupts via synchronous IPC. Its only purpose was to provide
the message type in front of the typed message. Now pagefaults and
interrupts are handled via signals and struct Msg is not necessary
anymore.
ref #958
2013-12-03 08:33:23 +01:00
Martin Stein
d46b30a711
hw: clarify names of messaging kernel-calls
...
ref #958
2013-12-03 08:33:23 +01:00
Martin Stein
5b90113d86
hw: no default values for kernel-call args
...
ref #967
2013-11-26 14:32:07 +01:00
Martin Stein
e0419b2401
hw: clearer naming scheme in kernel API
...
Rename kernel syscall in kernel call and the kernel-API
files in kernel/interface* .
ref #953
2013-11-25 09:45:30 +01:00
Alexander Boettcher
a6af6c80ab
base: count caps replied by a rpc function
...
Issue #905
2013-11-18 11:01:45 +01:00
Martin Stein
002a5b8978
hw: distinct pagefault and IPC message type
...
ref #874
2013-11-14 19:56:39 +01:00
Martin Stein
6f935af278
hw: communicate message type through UTCB
...
ref #874
2013-11-14 19:56:38 +01:00
Martin Stein
1e7eb4512e
hw: manage UTCB through use-case specific structs
...
ref #874
2013-11-14 19:56:38 +01:00
Martin Stein
96bbca6191
hw: send reply size & receive request size by UTCB
...
ref #874
2013-11-14 19:56:38 +01:00
Martin Stein
45d37e275d
hw: send request size through UTCB
...
ref #874
2013-11-14 19:56:38 +01:00
Martin Stein
0ad655f4be
hw: return error code on IPC replies
...
ref #899
2013-10-16 09:26:10 +02:00
Norman Feske
73ab30c22c
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
Martin Stein
19398159e1
base-hw: use Genode::memcpy in base/ipc.cc
...
Ref #583
2013-01-08 11:36:52 +01:00
Martin Stein
4fb5c23a3c
base-hw: don't use 'long' unnecessarily
...
Fix #581
2013-01-08 11:36:52 +01:00
Martin Stein
8037277447
base-hw: reply to IPC without awaiting the next
...
Fix #544
2012-11-30 16:23:16 +01:00
Martin Stein
ff65f6f021
Run Genode directly on hardware with 'base-hw'.
2012-08-03 12:06:37 +02:00