Xvisor is a type-1 hypervisor that aims to provide a monolithic, light-weight, portable, and flexible virtualization solution for ARMv5, ARMv6, ARMv7a, ARMv7a-ve, ARMv8a, x86_64, and other CPU architectures. It primarily supports full virtualization, and hence supports a wide range of unmodified guest operating systems. Paravirtualization is optional and is supported in an architecture independent manner (such as VirtIO PCI/MMIO devices) to ensure that no changes are required in the guest OS.
MatrixSSL is an embedded SSL and TLS implementation designed for small footprint devices and applications requiring low overhead per connection. The library is less than 50K on disk with cipher suites. It includes SSL and TLS client and server support, session resumption, and implementations of RSA, AES, 3DES, ARC4, SHA1, and MD5. The source is well documented and contains portability layers for additional operating systems, cipher suites, and cryptography providers.