Temasek kernel 110813