@sw17ch did you know thereβs fairly complete support for Ada on the RP2040? pico-doc.synack.me Fosstodon @adaprogrammers By: RT: Brian Mastenbrook (@bmastenbrook) 24 June 2022 at 04:03 @sw17ch did you know thereβs fairly complete support for Ada on the RP2040? pico-doc.synack.me
@sw17ch did you know Nvidiaβs secure enclave is written in SPARK? Fosstodon @adaprogrammers By: RT: Brian Mastenbrook (@bmastenbrook) 24 June 2022 at 03:56 @sw17ch did you know Nvidiaβs secure enclave is written in SPARK?