*Provides numerous examples of system software with source code and debugging techniques that can provide starting points for your own designs *Covers core operating system components, processes and process scheduling, system booting, virtual memory, device drivers, debugging, and much more Embedded systems software and hardware engineers will welcome this "cookbook" with recipes for writing embedded software using the popular FreeBSD operating system. Most of the technical information about FreeBSD is scattered and hard to find. The book, with its accompanying software, solves that problem as it walks the reader through portions of the kernel relevant to embedded systems programming. User-level code is provided to illustrate concepts discussed in the text. Debugging tips and techniques are also provided.

The FreeBSD operating system has become a popular OS choice for embedded systems due to its small size and the fact that it is free to users. However, detailed information on using FreeBSD is difficult to find. Author Paul Cevoli, an experienced embedded systems engineer, answers that need in this cookbook aimed at making life easier for engineers working with FreeBSD. Topics covered in the book include core operating system components, processes, process scheduling, virtual memory, device drivers and debugging, as these are the core features necessary for embedded system developers. Each chapter discusses basic components of FreeBSD, device drivers, Unix kernel, and C and GNU development tools, and provides the reader with the information needed to accomplish the stated task, along with sample source code.