Norman Feske 2f9d430c00 base-linux: 64-bit ARM support ... This patch adds support for running Genode/Linux on the AARCH64 architecture. - The kernel-agnostic startup code (crt0) had to be extended to capture the initial stack pointer, which the Linux kernel uses to pass the process environment. This is in line with the existing startup code for x86_32 and x86_64. - The link order of the host libraries linked to lx_hybrid programs had to be adjusted such that libgcc appears at last because the other libraries depend on symbols provided by libgcc. - When using AARCH64 Linux as host, one can execute run scripts via 'make run/<script> KERNEL=linux BOARD=linux' now. Issue #4136		2021-05-10 11:17:20 +02:00
..
ld-platform.inc	base: add initial support for ARM 64-bit	2019-05-27 14:52:51 +02:00
startup.inc	base-linux: 64-bit ARM support	2021-05-10 11:17:20 +02:00