ELDK (Embedded Linux Development Kit)

Xenomai real-time core

A rewrite of hs's tbot in python3 (now hosted at https://github.com/Rahix/tbot)

Interrupt pipeline for ARM

Interrupt pipeline - generic core

Interrupt pipeline for ARM64

Interrupt pipeline for PowerPC (32bit)

Interrupt pipeline for X86 (since kernel 4.14)

Interrupt pipeline support for legacy kernel releases (up to 4.9.x series)

Freescale (i.MX) ARM architecture

"Das U-Boot" Source Tree

Amlogic (Meson) ARM architecture

U-Boot port for Synopsys DesignWare ARC cores

ARM architecture

Atmel/Microchip (AT91) ARM architecture. This is the custodian tree for the AT91 architecture, which includes support for latest Cortex-A5 and ARM926 boards, which feature the SoCs: sam9x5, sam9x60, sama5d4, sama5d3, sama5d2. http://www.linux4sam.org

Atmel (AVR32) AVR32 architecture

Broadcom (BCM) ARM architecture

Marvell (MVEBU & Kirkwood) ARM architecture

Marvell (PXA) ARM architecture