Pinned Repositories
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
bochs
BRiCk
Formalization of C++ for verification purposes.
coq-lens
Lenses in Coq
NOVA
NOVA Microhypervisor
tenjint
tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.
tenjint-linux
This is the tenjint fork of the Linux kernel. It contains all VMI related changes in KVM.
tenjint-qemu
This is the tenjint fork of Qemu. It exposes all VMI functionality through an internal api.
tenjint-rekall
This is the tenjint fork of Rekall. It adds a physical address space for tenjint and some ARM64 improvements.
vml
Virtual Machine Libraries
BedRock Systems, Inc.'s Repositories
bedrocksystems/BRiCk
Formalization of C++ for verification purposes.
bedrocksystems/coq-lens
Lenses in Coq
bedrocksystems/NOVA
NOVA Microhypervisor
bedrocksystems/tenjint
tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.
bedrocksystems/tenjint-qemu
This is the tenjint fork of Qemu. It exposes all VMI functionality through an internal api.
bedrocksystems/tenjint-rekall
This is the tenjint fork of Rekall. It adds a physical address space for tenjint and some ARM64 improvements.
bedrocksystems/vml
Virtual Machine Libraries
bedrocksystems/tenjint-linux
This is the tenjint fork of the Linux kernel. It contains all VMI related changes in KVM.
bedrocksystems/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
bedrocksystems/bochs
bedrocksystems/ceps
Coq Enhancement Proposals
bedrocksystems/linux-bhv-patches
This repository contains patches for the Linux kernel required for compatibility with the BedRock Active Security System component.
bedrocksystems/pm_rpi4_drv
bedrocksystems/fm-releases
Formal Methods releases
bedrocksystems/pebble
bedrocksystems/pm_imx8mq_drv