- Building a 3D Digital Clock with ArduinoPosted 2 months ago
- Creating a controller for Minecraft with realistic body movements using ArduinoPosted 2 months ago
- Snowflake with ArduinoPosted 3 months ago
- Holographic Christmas TreePosted 3 months ago
- Segstick: Build Your Own Self-Balancing Vehicle in Just 2 Days with ArduinoPosted 3 months ago
- ZSWatch: An Open-Source Smartwatch Project Based on the Zephyr Operating SystemPosted 4 months ago
- What is IoT and which devices to usePosted 4 months ago
- Maker Faire Rome Unveils Thrilling “Padel Smash Future” Pavilion for Sports EnthusiastsPosted 5 months ago
- Make your curtains smartPosted 5 months ago
- Configuring an ESP8266 for Battery PowerPosted 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.