Building a 64-bit aarch64 kernel and userspace for the Raspberry Pi 4

LLD can now link a working aarch64 Linux kernel

Porting Redox to Aarch64 - Week 2

RSoC: Porting Redox to AArch64 - 0x01

RSoC: Porting Redox to AArch64–0x01 (ARM)

p2k18 Hackathon report: Christian Weisgerber (naddy@) On clang 6 fallout, doing the right thing, and fixes for aarch64

Aarch64 support added

State of aarch64 on Guix

Comparison of AArch64 Dynamic Binary Modification Tools

Exploring AArch64 assembler