You might also check Zero Rust--it has been mentioned here and they have a web site.