Aldebaran's flavor of the Linux kernel