A collection of links related to Linux kernel security and exploitation

A tool for checking the security hardening options of the Linux kernel

Kernel Test Framework

TamaGo - bare metal Go

A micro hypervisor for running micro VMs

Rust 2018 and C++20, "constexpr everything", AUTOSAR compliant header-only library intended to support the development of critical systems applications

Compare ARM CPUs Against ARM's Machine Parsable Architecture Reference Manual

run C++ from anywhere

The Bareflank Processor Abstraction Layer

bareflank based hypervisor with guest support

STOKE: A stochastic superoptimizer and program synthesizer

deprecated

lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI