Programming Generic Interrupt Controller and Timer Interrupt for my AArch64 OS in Rust

Using PKGSRC on Manjaro Linux aarch64 Pinebook-pro

What is wrong with all those AArch64 desktops?

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