History log of /seL4-camkes-master/projects/util_libs/libutils/src/arch/x86/stack.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'


# a7130f9f 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

fix licenses


# 48d553ee 13-Mar-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

libutils: x86 - check if the stack is valid and 16-bytes aligned


# 5e55388f 13-Mar-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

libutils: ia32 - Fix a bug where stack is not aligned to 16-bytes

Some instructions (like movaps) require the stack to be aligned
to 16 bytes, otherwise they will fault.

This relies on the fact that we are getting the stack already
aligned (at least to 16-bytes), currently it's aligned to 4K
pages. See vspace_new_stack.


# 605c2897 12-Nov-2015 Adrian Danis <Adrian.Danis@nicta.com.au>

libutils: Config guard for x64 is CONFIG_ARCH_X86_64, not CONFIG_X86_64


# cc105069 12-Nov-2015 Adrian Danis <Adrian.Danis@nicta.com.au>

libutils: Fix utils_run_on_stack to be 16-byte aligned on x64