TUXEDO Computers announces a new Linux kernel concept for the upcoming Debian-based TUXEDO OS operating system, which is now in public beta testing.