This manual is written for the experienced programmer who is already familiar with the C programming language and with embedded systems programming in general. We assume some knowledge of the target computer architectures and their limitations.