Hardware Reference
In-Depth Information
• Set “Target OS” to
linux
.
• Set “Linux kernel version” to
3.6.11
. (Your Raspberry Pi might not be running the
3.6.11 kernel yet, but this is a safe value.)
Figure 2-5.
Operating system configuration submenu
Binary Utilities Options
Make the following changes to the Binary Utilities (shown in
Figure 2-6
):
• Set “Binary format” to
ELF
.
• Set “binutils version” to
2.22