PS3 and Nintendo Switch OS use FreeBSD components.