genode/repos/base-linux/lib/mk/spec
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
..
arm base-linux: enabled seccomp 2020-05-27 11:56:46 +02:00
arm_64 base-linux: 64-bit ARM support 2021-05-10 11:17:20 +02:00
x86 base-linux: separate x86-specific code 2021-05-10 11:17:20 +02:00
x86_32 base-linux: enabled seccomp 2020-05-27 11:56:46 +02:00
x86_64 base-linux: enabled seccomp 2020-05-27 11:56:46 +02:00