Aliaksandr's repositories
libopencm3
Open source ARM Cortex-M microcontroller library
selinux-notebook
The SELinux Notebook
lkrg
Linux Kernel Runtime Guard
chipsec
Platform Security Assessment Framework
mbedtls
An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API.
seL4
The seL4 microkernel
Penglai-Enclave-sPMP
Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.
risc-v-keystone
Keystone Enclave (QEMU + HiFive Unleashed)
esp-idf
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
opensbi
RISC-V Open Source Supervisor Binary Interface
edk2
EDK II UEFI
EVE-SIMD-in-C-
Expressive Vector Engine - SIMD in C++
ETSI-C-ITS-protocol-stack
Open-source implementation of the ETSI C-ITS protocol stack
wireguard-lwip
WireGuard Implementation for lwIP
raspberry-circle
A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
neorv32
🖥️ A tiny, customizable and highly extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.
arm-trusted-firmware-1
Read-only mirror of Trusted Firmware-A
illumos-gate
An open-source Unix operating system
8814au
Linux Driver for USB WiFi Adapters that are based on the RTL8814AU Chipset
real-time-cpp
Source code for the book Real-Time C++, by Christopher Kormanyos
husarnet
Husarnet is a Peer-to-Peer VPN to connect your laptops, servers and microcontrollers over the Internet with zero configuration.
binbloom
Raw binary firmware analysis software
mender
Mender over-the-air software updater client.
acrn-hypervisor
Project ACRN hypervisor
little-embedded-kernel
The LK kernel is an SMP-aware kernel designed for small systems ported to a variety of platforms and CPU architectures
barebox
The barebox bootloader
shim
UEFI shim loader
SCP-firmware
System Control Processor (SCP) firmware
CppInAction
Demo Code for presentation "C++ In Action"