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

Descripción completa

Detalles Bibliográficos
Otros Autores: Radovici, Alexandru, author (author), Culic, Ioana, author
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York, New York : Apress L. P. [2022]
Colección:Technology in action
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009644290106719
Tabla de Contenidos:
  • 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.