Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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 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
-
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