3541 4fa6301523 Kernel: Add g_cpu_supports_rdseed ... CPUs which support RDRAND do not necessarily support RDSEED. This introduces a flag g_cpu_supports_rdseed which is set appropriately by CPUID. This causes Haswell CPUs in particular (and probably a lot of AMD chips) to now fail to boot with #2634, rather than an illegal instruction. It seems like the KernelRng needs either an initial reseed call or more random events added before the first call to get_good_random, but I don't feel qualified to make that kind of change.		2020-06-27 12:57:03 +02:00
..
i386	Kernel: Add g_cpu_supports_rdseed	2020-06-27 12:57:03 +02:00
PC	Kernel: Add convenient ways to map whole BIOS and EBDA into memory	2020-05-22 13:17:38 +02:00