A secure, fast, and adaptable OS based on the seL4 microkernel

Open Source FPGA toolchain and documentation for QuickLogic devices and eFPGA IP

Open Logic VHDL Standard Library

Anachron: a 34-key ergonomic layout designed for speed

IO-Link master stack for embedded devices

A CAN bus controller driver using virtio.

HAL and SDK for ESP32 and other hardware from Espressif

Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.

ELFIO - ELF (Executable and Linkable Format) reader and producer implemented as a header only C++ library

Eclipse zenoh for pico devices

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

krata is an isolation engine for securing compute workloads

Network tools for testing with Qemu

ADB server implementation for MCUs

A serial device I/O tool

GCC 9.4.0. Tricore / AURIX Prebuild Binaries for Ubuntu

A gdb which support a TriCore processor

GCC 4.9.4/Binutils 2.20/Newlib Source code for Tricore Aurix

GCC 9.4.0/Binutils 2.20/Newlib Source code for Tricore Aurix

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

A massively parallel, high-level programming language

OpenEmbedded/Yocto BSP layer for STM32MP15x based MPUs

Safety-critical applications oriented Real-Time Operating System written in Rust

"Das U-Boot" Source Tree

Example Linux Kernel Modules Source Code