Useful links related to "hard" linux things when I was experimenting with Raspberry Pi, cross-compilation, emulation etc.