History log of /seL4-camkes-master/tools/rumprun/lib/librumpkern_bmktc/rump_bmktc.c
Revision Date Author Comments
# be113080 15-Oct-2015 Antti Kantee <pooka@iki.fi>

Use hypercalls instead of header/symbol kludges.
# 8de9b1fa 12-Aug-2015 Antti Kantee <pooka@iki.fi>

rumpxen_tc -> bmktc
# d5a768eb 11-Aug-2015 Antti Kantee <pooka@iki.fi>

rumpxentc already runs on top of bmk

Make it a platform-independent, mandatory component. The value of the
clock no longer depends on the clock interrupt running.