Abstract
Tock is the first embedded operating system used in the industry written in another programming language than C/C++. This makes it particularly interesting from both the operating system’s perspective and the embedded security point of view. In this chapter, we will dive into how Tock OS is built and the characteristics that make it an appropriate operating system for building secure embedded applications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
OpenOCD (Open On-Chip Debugger) is an open source on-chip debugger that links a software debugger like gdb to the hardware debugger on the device.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to APress Media, LLC, part of Springer Nature
About this chapter
Cite this chapter
Radovici, A., Culic, I. (2022). The Tock System Architecture. In: Getting Started with Secure Embedded Systems. Apress, Berkeley, CA. https://doi.org/10.1007/978-1-4842-7789-8_3
Download citation
DOI: https://doi.org/10.1007/978-1-4842-7789-8_3
Published:
Publisher Name: Apress, Berkeley, CA
Print ISBN: 978-1-4842-7788-1
Online ISBN: 978-1-4842-7789-8
eBook Packages: Professional and Applied ComputingApress Access BooksProfessional and Applied Computing (R0)