Temasek kernel 190813