History log of /seL4-camkes-master/tools/rumprun/include/bmk-core/types.h
Revision Date Author Comments
# 0123fb94 12-Oct-2015 Antti Kantee <pooka@iki.fi>

Add platform/machine independent <bmk-core/types.h> and use it.


# 70337725 05-Apr-2015 Antti Kantee <pooka@iki.fi>

Add copyright/license.

Better late than never ...


# afffcc9d 05-Apr-2015 Antti Kantee <pooka@iki.fi>

Make bmk_time_t a bmk-core type

It's still unsure how many types we should provide in bmk-core, but
this one is useful since it avoids having to keep typing "long long"
all over the place.