Explore projects

ELDK (Embedded Linux Development Kit)

Glue to run 2 operating systems at one SoC. Running on ARM system, currently Altera SoCFPGA.

Linux kernel tree

TeX sources and supporting documentation for AMP whitepaper.

Xenomai 3 "Cobalt" real-time core, user interfaces and utilities

Mirror of 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-amlogic: current tree to be merged in current -rc,

u-boot-amlogic-next: tree to be merged in next release,

u-boot-amlogic-test: WiP changes for CI test

U-Boot port for Synopsys DesignWare ARC cores

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

Marvell (MVEBU & Kirkwood) ARM architecture