Как запустить ядро ​​реального времени в VirtualBox?

Я хочу сделать некоторое программирование на C в 12.10 и потребовать ядро ​​реального времени для того, что мне нужно сделать.

В идеале, я ищу, чтобы иметь возможность запускать это в VirtualBox, с установленными дополнениями для гостей. Может ли кто-нибудь посоветовать мне, как это сделать?

Какой лучший вариант доступен в терминах ядер RT?