Aldebaran's flavor of the Linux kernel - View it on GitHub