#
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>
|
#
9335571c |
|
27-Nov-2018 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
systime: adding a relative timeout function Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|
#
dde874b9 |
|
29-Nov-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
kernel/systime: Include more specific header Was kernel.h, should be barrelfish_kpi/types.h. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
05f3eb5a |
|
27-Nov-2016 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
systime: introducing system time based on time stamp counter/global timer, removing kernel_now Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|