Allwinner SoC support for the Genode OS framework (migrated to codeberg.org)

🚛 Awesome CAN bus tools, hardware and resources for Cyber Security Researchers, Reverse Engineers, and Automotive Electronics Enthusiasts.

Kernel Test Framework

PicoTCP is a free TCP/IP stack implementation

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

Industrial Real time micro benchmarks suit and runtime

ECDH and ECDSA for 8-bit, 32-bit, and 64-bit processors.

Xvisor: eXtensible Versatile hypervISOR

Clone of Fiasco.OC and parts of L4RE that are used by the Genode framework.

Utilities for building rump kernels

Some patches and scripts for Genode development

Genode OS Framework

Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)