History log of /seL4-camkes-master/tools/rumprun/include/bmk-core/null.h
Revision Date Author Comments
# a20b7fd0 05-Apr-2015 Antti Kantee <pooka@iki.fi>

Add <bmk-core/queue.h>

This is necessary since bmk-core cannot include <sys/queue.h>,
but some bmk-core routines might want queue.h anyway. As a
side-effect, we also need <bmk-core/null.h>, which mundanely
gives us NULL.