6 ms·Hands-on VeriFast with STM32 microcontroller Osaka3 points by masterq 9y agobluejekyll 9y agodoes anyone know how this compares to Tock? https://www.tockos.org https://www.tockos.org