Healthier virtual devices with Greens!

Greens is a prototype of a toolkit for building modular and lightweight virtual devices.

It features crates for:

• PCI device emulation with "no_std" support,
• virtio-pci emulation,
• Example of vhost-net frontend for seL4 with Device Driver VM,
• A few crates that help abstracting the underlying hypervisor and OS for easier porting.