[ntoskrnl]

Is it public how much they paid? I couldn't find any info besides this https://www.businesswire.com/news/home/20201119005153/en/Ret...