The Alinos Linux Kernel