All good things…

This is a difficult post to write.

A year ago, my company launched the latest iteration of our operating system, AirStash OS. Since that announcement I’ve spent the last year trying to convince anyone who would listen of the need for IoT product development platforms that are actually secure out of the box, backed by formal methods and solid engineering. We built the technology to back this up: a hardware memory-protected operating system with an unprivileged "kernel" supporting Java or Kotlin applications on incredibly low-cost Cortex-M4 based single chip wireless microcontrollers, and an industry-first commercial demonstration of the same operating system hosted under the formally verified seL4 microkernel.