New Tech Tip: Analysis of initial patches for Microsoft's Hyper-V driver in the Linux kernel