History log of /seL4-camkes-master/tools/rumprun/lib/libbmk_rumpuser/rumpuser_clock.c
Revision Date Author Comments
# b1c8d596 07-Aug-2015 Antti Kantee <pooka@iki.fi>

Make the clock routines bmk_platform_cpu_clock_foo

bmk can now directly call into the relevant code instead of a bounce.


# 829e76fa 07-Aug-2015 Antti Kantee <pooka@iki.fi>

clock routines don't belong in sched.h, move to platform.h


# e8a5b303 26-May-2015 Antti Kantee <pooka@iki.fi>

Retire sched_nanosleep(), blockprepare_timeout() is sufficient


# 6b11ec6e 21-Apr-2015 Antti Kantee <pooka@iki.fi>

Rename bmk_clock_*() to bmk_platform_clock_*()

They are expected to be implemented by the underlying platform.


# 5c57bf1e 20-Apr-2015 Antti Kantee <pooka@iki.fi>

Rename librumprun_rumpuser to libbmk_rumpuser

Layeristically speaking, the common rumpuser bits run on top of bmk,
so the renamed name now also reflects reality (and matches the
header namespace).