3 ms·
Parts of it is already in Rust and formal verification could be done for this project as well. At that stage would you be ok with it?
by StreamBright 5y ago
Parts of it is already in Rust and formal verification could be done for this project as well. At that stage would you be ok with it?
- willtim 5y agoIf it improves the security of the device and means that Google will keep updating it, then that will be good. However, personally I have given up buying Google-branded devices. They only gave me security updates for my Pixel C for three years (2016-2019).