Cross-platform software
Application programming interfaces
Linux
Hardware abstraction
Virtual machine
Operating system
Kernel
L4 microkernel family
System call
Software
System software
Computing