7a18b083eb
Previously, the stack buffer array wasn't being page-aligned. If private kernel data was stored after the stack buffer in the same page, the current thread would incorrectly have access to it. Round stack sizes up on x86 to prevent this problem. Fixes #8118 Signed-off-by: Andrew Boie <andrew.p.boie@intel.com> |
||
---|---|---|
.. | ||
addr_types.h | ||
arch.h | ||
asm.h | ||
asm_inline.h | ||
asm_inline_gcc.h | ||
irq_controller.h | ||
linker.ld | ||
segmentation.h |