Did the Windows Server isolation bundle a slim kernel? One of the core elements of this for the Serverless fast boot requirement is using a kernel that has leg

Did the Windows Server isolation bundle a slim kernel? One of the core elements of this for the Serverless fast boot requirement is using a kernel that has legacy modules excised.