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...

Full description

Bibliographic Details
Main Authors: Radovici, Alexandru, Culic, Ioana (Author)
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:
  • 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
  • Includes bibliographical references and index