Microsoft Pluton firmware uses Rust and TockOS.
While reading the article regarding Microsoft security controller Pluton is also coming to Intel Core , I discovered that the firmware is actually written in Rust and uses TockOS.
While reading the article regarding Microsoft security controller Pluton is also coming to Intel Core , I discovered that the firmware is actually written in Rust and uses TockOS.