History log of /seL4-camkes-master/tools/rumprun/tests/nolibc/nolibc.h
Revision Date Author Comments
# fab5285b 12-Oct-2015 Antti Kantee <pooka@iki.fi>

need more types for kernonly rump_syscalls.h grokage


# 41ed7f37 12-Oct-2015 Antti Kantee <pooka@iki.fi>

Add enough types to keep rump kernel headers includable.

nolibc.h should probably go somewhere more global some day.


# 22f68247 03-Sep-2015 Sebastian Wicki <gandro@gmx.net>

Add tests and -k flag to buildtests.sh