Do they have any mobile work in the Redox tree yet?
No, and they said several times that they had no plans for it (which might have changed, to be fair). Their roadmap was to target servers, which have a use for secure OS and sane driver requirements.