This is the tenth post in a series tracking the development of Tock, a safe multi-tasking operating system for microcontrollers.

Pull Requests

Merged

• @brghena implemented a raw SD card interface over SPI (as opposed to SDIO) including a capsule for interfacing in the kernel and one for exposing a system call interface to applications.

• @daniel-scs finished fixing a README for imix that includes instructions for debugging, programming applications and getting console output.

• @daniel-scs made additional changes fixing errors in the documentation.

• @phil-levis wrote a TRD for 802.15.4 radios.

• @alevy’s TRD for GPIO was merged.

• @alevy added system-call level virtualization to the ADC.

• @alevy fixed a bug in the timer driver that resulted in applicaiton timers scheduled to fire within microseconds of each other were not firing.

Proposed

• @ppannuto proposed a work-in-progress change moving the application stack to the bottom of application memory.

imix

The crowd campaign for imix was unsuccessful, but we’re continuing to fix the remaining bugs. Our most blockig issue has been one where turning on peripheral chips, like the RF233 radio or auditable RNG resulted in brown-outs of the main chip. @shaneleonard and @kwantam have been able to identify the problem and have a fixed revision on the way.

Community

We deployed BotBot to log our IRC channel. It’s open and public and we’re hoping this makes IRC a more welcoming medium to come talk to us.