Вопрос.

[thesz]

Хочу помучать Агду. Для этого нужен EMACS и Linux.

Так вот, какой виртуальной машиной лучше всего пользоваться и каким дистрибутивом?