You might want to try Genode /Sculpt which has many similarities in concept such as heavy use of virtualization for security.
I would argue Sculpt is actually more sophisticated because it is a clean sheet design with such things as capability based security and microkernel rather than a Linux distribution that has been kludged to achieve these ends.
Genode have a Framework in house they use for testing Sculpt, so you could say framework is an approved product.