[Noisebridge-discuss] ARMduino: A 72 MHz ARM based implementation of the Arduino physical computing platform.

[Jason Dusek]

  This will only do half the job of making it easy to write real-time
  software for ARM. Without a real-time OS, how will you handle
  scheduling and concurrent access?

  Maybe the "Sketch" system has some concurrency tools?

--
Jason Dusek