What mass market hardware is Redox being shipped on direct from manufacturers? Fuchsia is shipping on the Nest Hub, where is Redox?
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.