Learning operating system development using Linux kernel and Raspberry Pi

The single instruction C compiler

The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

The seL4 microkernel

A Dead Simple VPN.

A full functional WiFi Repeater (correctly: a WiFi NAT Router)

OSSEC is an Open Source Host-based Intrusion Detection System that performs log analysis, file integrity checking, policy monitoring, rootkit detection, real-time alerting and active response.

High Performance Open Source Radio Control Link

Unix command line queue utility

Advanced CPU-based password recovery utility

Standards compliant, fast, secure markdown processing library in C

SimpleVisor is a simple, portable, Intel VT-x hypervisor with two specific goals: using the least amount of assembly code (10 lines), and having the smallest amount of VMX-related code to support d…

Trusted side of the TEE

Project ACRN hypervisor

The Rumprun unikernel and toolchain for various platforms

Yubico Pluggable Authentication Module (PAM)

Xvisor: eXtensible Versatile hypervISOR

Haka runtime

This repo records all the vulnerabilities of linux software I have reproduced in my local workspace

HardenedBSD implements strong exploit mitigations and security hardening technologies on top of FreeBSD, with a direct focus on the nexus between human rights and information security. HardenedBSD …

The USG is Good, not Bad

Touchscreen ESP32‑S3 controller and load cell for precise coffee dosing.

Use a TPM to store a TOTP token in order to attest boot state to another device

LUKS support for storing keys in TPM NVRAM

Experimenting with bare metal coding on a Raspberry Pi

Linux kernel source tree

Assesses CPU security of embedded devices. #nsacyber

HardenedBSD stable repo. Installer images built from this repo: http://installer.hardenedbsd.org/

Efficient TLS termination inside Intel SGX enclaves for existing applications

Experimental version of QEMU with basic support for ARM TrustZone (security extensions)