http://www.ok-labs.com/releases/release/ok-labs-introduces-new-sdk-for-okl4-microvisor
Can I download it and use it for my purpose ?
Let's try that again..
It demonstrates OKL4's isolation and coordination abilities, aka: decompositioning, using cells.
http://www.ok-labs.com/products/ok-android
At the very least check this out (the link is in the above page):
http://www.ok-labs.com/geektv/watch/mobile-virtualization-security-delivered
The lib reference manual at the below link covers cells.
http://wiki.ok-labs.com/Microkernel
This should give you an idea of what you're looking for which is quite extensive.
Considering OKL4's business model you might simply want to contact them directly with your project.
One thing worth considering is that though OKL4 implements process isolation through the visor
there is nothing stopping any OS vendor, including google/android, from implementing the process isolation and coordination in the OS itself.
The real advantage however of OKL4 is that it does not rely on the OS vendors so doing. That is to say one can implement their own process isolation and coordination independantly of OS vendor efforts. This is a real bonus.
Happy droiding!
_______________________________________________
Developer mailing list
Deve...@okl4.org
https://lists.okl4.org/mailman/listinfo/developer