mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
4a9b1c6aab
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.
6 lines
179 B
Makefile
6 lines
179 B
Makefile
REQUIRES = linux arm
|
|
SRC_S += lx_clone.S lx_syscall.S
|
|
|
|
vpath lx_clone.S $(REP_DIR)/../base-linux/src/platform/arm
|
|
vpath lx_syscall.S $(REP_DIR)/../base-linux/src/platform/arm
|