Спасибо всем.
С виртуальной машиной, похоже, определились. Убунта на слуху, поэтому, скорее всего, ее и буду использовать.
Со средой тоже практически понятно. Компилятор, конечно, GNUсный. И набор GNU отладчик, профайлер, мейкер и что там еще есть.