History log of /seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/gdt_32.c
Revision Date Author Comments
# 620002ed 11-May-2015 Antti Kantee <pooka@iki.fi>

Support thread-local storage on 32bit Xen