The seL4 microkernel

Personal Repository

Website for project Rosenpass (quantum secure VPN key exchange)

Security Framework for Mobile Linux

Notes and simple tools for benchmarking libvmm, unstable and experimental

U-Boot Common Base Loader: A fork of megi's PinePhone Pro U-boot tree with additional tweaks

This is the source of the seL4 docs.

An experimental virtual machine monitor for the seL4 microkernel

No description provided.

Submit websites to be crawled by Marginalia Search here

GNU Gettext FFI binding for Rust

Dear PyGui: A fast and powerful Graphical User Interface Toolkit for Python with minimal dependencies

Disposable Session Playground

A keyboard input remapper for Linux/Wayland systems, written by @wez

No description provided.

A tutorial for learning the seL4 Microkit

A fork of OpenResume

Trusted side of the TEE

Maliit Keyboard, a free software virtual keyboard for Linux

Mirror of git://dev.laptop.org/projects/olpc-kernel-builder

Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS

fTPM and other TA by Microsoft Research with updated dependency

Disk encryption with strong security based on TrueCrypt

Hardened Linux Instance using EVM/IMA

Simplified Chinese Dictionary for Fcitx PinYin Extracted from Wikipedia

this is my /tmp, nothing to see here.

A Flexible Input Method Framework

Cross-platform GitHub action

OpenBSD work in progress ports