Top Repositories
Security Framework for Mobile Linux
The seL4 microkernel
Personal Repository
Website for project Rosenpass (quantum secure VPN key exchange)
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
Repositories
29The 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