Raspberry Pi is Linux, but it's a unique flavor of Linux, specifically for the ARM-based Pi. Raspberry Pi Software Reference guides you through the boot process, including options for tweaking HDMI, memory, and other boot options. You'll learn the details of run levels and creating new services, and how to use the custom command vcgencmd for doing things like reporting temperature, clock speeds, and voltage. And while there are cross-compilers available...