Christian Prochaska 4a9b1c6aab base-linux: add ARM support ... This patch introduces a new platform 'linux_arm' for building and running Genode/Linux on an ARM device. Known limitations: - libc 'setjmp()'/'longjmp()' doesn't currently save/restore floating point registers Fixes #746.		2013-05-24 14:55:37 +02:00
..
arm	base-linux: add ARM support	2013-05-24 14:55:37 +02:00
x86_32	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
x86_64	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
_main_helper.h	Rework the internal lock interface	2013-02-25 22:14:21 +01:00
context_area.nostdlib.ld	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
context_area.stdlib.ld	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
linux_syscalls.h	Rework the internal lock interface	2013-02-25 22:14:21 +01:00
lx_hybrid.cc	lx_hybrid: Safety check when freeing thread	2013-05-07 21:56:06 +02:00