Redox is made by volunteers, not a trillion dollar company who decided to install their own OS onto their own hardware.
Point being is that making a micro kernel OS should be fully within their wheelhouse. If Google is not getting it done, there is some process or internal king maker which is preventing it from happening.
