History log of /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/os.h
Revision Date Author Comments
# 4cc3bc50 22-Jun-2015 Antti Kantee <pooka@iki.fi>

pass -Wcast-qual
# 620002ed 11-May-2015 Antti Kantee <pooka@iki.fi>

Support thread-local storage on 32bit Xen
# ac3ac63c 03-Mar-2015 Antti Kantee <pooka@iki.fi>

Move files into platform/xen

Prepares for the rumprun merge.