Os módulos de kernel linux515-rt são específicos para hospedagem no VirtualBox, permitindo a utilização de recursos avançados do sistema virtualizado. 