Martin Whitaker faab0a321d Only look for the RDSP in the appropriate EFI system table.
We don't support mixed-mode boot, so we will never find a 32-bit EFI
system table when running from a 64-bit binary.
2022-04-23 09:16:42 +01:00
..
2022-02-28 22:05:21 +00:00
2022-02-28 22:05:21 +00:00
2022-02-28 22:05:21 +00:00
2022-02-28 22:05:21 +00:00
2022-04-04 18:31:54 +02:00
2022-02-28 22:05:21 +00:00
2022-03-25 20:14:16 +01:00