We need to generalize the machine interface in GINI.

This way different OS versions can be specified for the machine.
We can have different icons or a generic machines where we can specify different OS versions.