Este é um novo kernel Linux chamado Linux515-rt que vem com módulos adicionais. Ele foi criado para fornecer recursos adicionais e melhor desempenho para usuários avançados. 