Christian Helmuth 08541b68f7 dde_linux: stack alignment on x86_64 in wifi/usb ... platform_execute() is used to initially switch the stack of a routine/task. While Thread_base::alloc_secondary_stack() properly aligns the returned stack pointer the x86_64 assembler implementation did not comply to stack frame management specified in the ABI. The used (and most simple) stack-alignment check may pass a float to a varargs function on x86, which requires the compiler to properly save some XMM registers on stack.		2015-09-30 12:20:41 +02:00
..
drivers	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
lib	dde_linux: stack alignment on x86_64 in wifi/usb	2015-09-30 12:20:41 +02:00
server/usb_terminal	os: Move Ring_buffer to Genode namespace	2015-04-17 16:13:21 +02:00