With the relatively new generic virtualization interface, Seoul is now able to run on my AMD Ryzen machine. However, VirtualBox still crashes when starting the VM. With the NOVA-specific interface, it would die from an unresolved page fault, while with the generic interface, it throws a general exception that doesn't seem to give much information. I don't have the log on hand right now; otherwise I would specify the exception. What differences are there that could make VirtualBox fail while Seoul works fine? My UEFI version should be new enough to have the Ryzen CPUID issue patched, so that shouldn't be the problem, but I don't know how to empirically rule that out.