IABSD.fr/src

Browse
Commit
Author : bluhm
Date : 2025-04-29 13:21:52
Hash : a128edeb
Message : vmm(4) must not use 0 as minimum ASID for AMD SEV. If SEV-ES is not supported by CPU, vmm(4) could end up using 0 as minimum ASID. In this case, 1 has to be used. regression found and tested by Jesper Wallin; fixed with hshoexer@