Temasek kernel 120913