In another installment of the "BSD code popping up in odd places story", Intel are promulgating the Extensible Firmware Interface
, a new abstraction layer for the "operating system and platform firmware
". As this PDF slideshow shows
, libc in the EFI layer is from FreeBSD (page 9), as is the TCP/IP stack (page 11). Finally Intel appear to be releasing the whole thing under something very close to a BSD license (page 15). Which is nice.