Sì, però linux, nominalmente, è il kernel