- SDS011 the Air Quality SensorPosted 1 month ago
- NIXIE STYLE LED DISPLAYPosted 4 months ago
- TOTEM: learning by experimentingPosted 4 months ago
- Google Assistant Voice Controlled Switch – NodeMCU IOT ProjePosted 5 months ago
- Water Softener Salt Level MonitorPosted 5 months ago
- Sparkly Air SensorPosted 5 months ago
- Ultra sonic distance finder with live statusPosted 5 months ago
- Windows interface to have total control over lampsPosted 5 months ago
- Smart AquariumPosted 5 months ago
- Wearable ProjectionPosted 5 months ago
Tock OS, the Open Source Secure Embedded OS for Cortex-M Based Microcontrollers
Yes, I know it…there are already a lot of open source operating systems running on Arm Cortex-M microcontrollers, so what’s different about it?
Tock is the operating system specifically designed for (secure) IoT on Arm Cortex-M MCUs. It aims to enable more secure and extensible IoT systems by using a language sandbox and hardware enforced mechanism to isolate third-party and other untrusted code in the system.
“Tock includes three architectural components. A small trusted kernel, written in Rust, implements a hardware abstraction layer (HAL), scheduler and platform-specific configuration. Other system components are implemented in one of two protection mechanisms: capsules, which are compiled with the kernel and use Rust’s type and module systems for safety, and processes, which use the MPU for protection at runtime.
System components (an application, driver, virtualization layer, etc.) can be implemented in either a capsule or process, but each mechanism trades off concurrency and safety with memory consumption, performance, and granularity.”
Between the supported hardware we can find two board based on Microchip Atmel SAM4L Cortex-M4 MCU and Nordic Semi nRF51822 BLE Radio:
- Hail development module, based on Photon Particle form factor, and including a temperature and humidity sensor, light intensity sensor, accelerometer & gyroscope.( $60)
- Upcoming IMIX development board with the same sensors as Hail, but also adding an 802.15.4 radio, hardware RNG, USB host port, Arduino headers and more. ($100)
All the additional information you may need are available in TockOS website.