Martin Stein 96bbca6191 hw: send reply size & receive request size by UTCB ...

ref #874

2013-11-14 19:56:38 +01:00

..

log.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

perf_counter.h

hw: enable performance counter on ARMv6 and ARMv7

2013-10-17 11:05:53 +02:00

syscalls.h

hw: send reply size & receive request size by UTCB

2013-11-14 19:56:38 +01:00