Рабочий образ можно получить по следующей ссылке .
Чтобы его запустить на машине с linux надо:
1. Установить docker пример установки
apt-get install docker.io
добавить текущего пользователя в группу
docker (файл /etc/group)
перелогиниться
2. Запустить новый контейнер с указанного образа
docker run -it krinkin/se-ubuntu /bin/bash
3. После этого управление переходит в контейнер. Основные команды контейнера:
docker run -it krinkin/se-ubuntu /bin/bash
Материалы по Docker: