Software
Computing
System software
FreeBSD
Berkeley Software Distribution
Unified Extensible Firmware Interface
Junos OS
HAL
Comparison of BSD operating systems