João Peixoto's repositories
OPTEE-RPI4
OP-TEE port for the Raspberry Pi 4 platform
bao-demos-virtio
A guide on how to build and use the VirtIO infrastructure on Bao Hypervisor.
bao-virtio-dm
Bao VirtIO Device Model written in Rust.
bao-vhost-frontend
Bao vhost-user frontend written in Rust.
Trusted-Application-and-Client-Application-of-Bitcoin-Wallet-to-OPTEE-Rust
Trusted Application and Client Application of Bitcoin Wallet to OPTEE Rust
bao-demos
A guide on how to build and use a set of Bao guest configurations for various platforms
Language:MakefileNOASSERTION000
bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
Language:CApache-2.0000
Language:RustApache-2.0000
vm-memory
Virtual machine's guest memory crate
Language:RustApache-2.0000
vhost-device
'vhost-user' device backends workspace
Apache-2.0000
vm-virtio
virtio implementation
Apache-2.0000