Kernel e WCT
Qual será o preço?