History log of /seL4-refos-master/libs/libplatsupport/src/arch/x86/delay.c
Revision Date Author Comments
# 3f9cdc14 19-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

util_libs: remove autoconf.h from util_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# dc4ed0fd 17-Jul-2017 Siwei Zhuang <siwei.zhuang@data61.csiro.au>

libplatsupport: Added delay loop to x86.