i believe chromeos uses a custom kernel with their own stack.