Tock Systems Management
Alexandru Radovici, Ioana Culic · Apress eBooks · 2022
So far, the chapters in this book have focused on application and system development using Tock. In a development environment, deploying a custom Tock system involves building the source code, bundling the applications with the kernel, and finally deploying the binaries in an easy to debug and monitor manner. We use tools such as OpenOCD and gdb to achieve this.