GeezerVison

Popular repositories Loading

1. NOVA NOVA Public

   NOVA Microhypervisor

   C++ 22 2

2. coq-lens coq-lens Public

   Lenses in Coq

   Coq 17 7

3. tenjint tenjint Public

   tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.

   Python 11 2

4. tenjint-qemu tenjint-qemu Public

   This is the tenjint fork of Qemu. It exposes all VMI functionality through an internal api.

   C 2 3

5. tenjint-rekall tenjint-rekall Public

   This is the tenjint fork of Rekall. It adds a physical address space for tenjint and some ARM64 improvements.

   Python 2 3

6. tenjint-linux tenjint-linux Public

   This is the tenjint fork of the Linux kernel. It contains all VMI related changes in KVM.

   C 1 2

This organization has no public members. You must be a member to see who’s a part of this organization.