Linux

Open source operating system kernel usable on various types of hardware, e.g. ARM devices.

Main repository: kernel.org

Compilation

External

• Arch Linux > Kernel > Traditional compilation [1]
• Linux Next [2]
• Compiling kernel on ARM [3]
• Megous' PinePhone + Orange Pi Linux repository and tutorial [4]