Getting started with secure embedded systems developing IoT systems for micro:bit and Raspberry Pi Pico using Rust and Tock
Build secure and reliable IoT applications for micro:bit and Raspberry Pi Pico by using Rust and Tock. One of the first Operating Systems written in Rust, Tock is designed to safely run multiple applications on low power devices, enabling you to build a secure foundation for IoT systems. It is an op...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
New York, NY
Apress
2022
|
Series: | Technology in action
|
Subjects: | |
Online Access: | |
Collection: | O'Reilly - Collection details see MPG.ReNa |
Table of Contents:
- Includes bibliographical references and index
- Chapter 1: Embedded Systems and Architectures
- Chapter 2: Embedded Systems Software Development
- Chapter 3: The Tock Architecture System
- Chapter 4: Rust for Tock
- Chapter 5: Getting Started with Tock OS
- Chapter 6: The Structure of a Custom Tock System
- Chapter 7: Userspace Applications Development
- Chapter 8: Writing a Synchronus Syscall Capsule
- Chapter 9: Writing an Asynchronus Syscall Capsule
- Chapter 10: The Implementation of a Service Capsule
- Chapter 12: Tock Userspace Driver
- Chapter 12: Tock Systems Manager