genode/repos/dde_linux/src/include/spec/x86_64/lx_kit/internal
Christian Prochaska c7d9df6350 lx_kit: update 'arch_execute()' functions based on libc
This ensures proper stack alignment for FPU instructions on x86_64.

Fixes #3356
2019-05-27 14:46:53 +02:00
..
arch_execute.h lx_kit: update 'arch_execute()' functions based on libc 2019-05-27 14:46:53 +02:00