Since it seems that so far the SDK works fine in either the Virtual machine with Windows XP) or Ubuntu. I decided to get my own little ubuntu machine to enable me to build projects on a way I am used to. On this page I wil explain how I installed the SDK (following the excellent work of some of my fellow forum people (see ESP8266 forum) who have created the right environment and modified/created specific files), installed Eclipse and how to import the AT example.
For more information join us at www.esp8266.com . Now a very you forum with a lot of expertise.