Portal 2 was released after Portal 1a had been released .
It is the sequel to Portal 1a , 2007 , and was released on April 19 , 2011 , for Microsoft Windows , OS X , Linux , PlayStation 3 , and Xbox 360 .
Portal 2