More success on my "let's do hard realtime with Micropython"! I can successfully set an output voltage now - 1.3V - and measure it back. (last lines are Volts, Current ~0, Status).

Time for a new blogpost! Let's do a CHERIoT walkthrough - including a straightforward setup, understanding how we kill bug classes and mitigating attacks on our minimal TCB through practical examples, and more fun! msrc.microsoft.com/blog/2023/02/f…

TL;DR: We analyze the attack surface of consumer drones and investigate the drone's over-the-air data traffic. Based on reverse engineering of DJI firmware, we design and implement a decoder for DJI's proprietary tracking protocol #DroneID, using only cheap COTS hardware...

Don’t miss David Chisnall’s CHERIoT talk today BlueHat IL! The video below shows a CHERIoT system animating LEDs with JavaScript fetched from the Azure IoT Hub with a memory safe and compartmentalized network stack, come and see how it works!

François-Philippe Champagne (FPC) 🇨🇦 Dear François-Philippe, We'd appreciate it if you could provide any evidence of Flipper Zero being involved in any criminal activities of this kind. We're not aware of any events like this and frankly speaking not sure what was the reason for this discussion to begin with.

We're excited to explore working with #CHERIoT & the #Sonata platform with you at the Sunburst Hackathon this week! Reminder, bring your Sonata board or any specific hardware you’d like to interface with the Sonata board to the event! See you there 🧑‍💻 sunburst-project.org/hackathon/

Microsoft Pluton Firmware ported to Rust @ TockWorld 7 world.tockos.org/tockworld7/age…