Temasek kernel 100913