LPCXpresso 4 is now available. http://lpcxpresso.code-red-tech.com/LPCXpresso/ This is both Windows and Linux versions.