Name Date Size

.. 2013-09-25 10:26:15 19

boot_service_table.h 2013-09-25 10:26:15 6.2 KiB

BootService.c 2013-09-25 10:26:15 1.2 KiB

interceptor.h 2013-09-25 10:26:15 2 KiB

print_types.h 2013-09-25 10:26:15 2.8 KiB

README 2013-09-25 10:26:15 178

RunTime.c 2013-09-25 10:26:15 1.2 KiB

runtime_service_table.h 2013-09-25 10:26:15 2.9 KiB

VBoxInterceptor.c 2013-09-25 10:26:15 3.5 KiB

VBoxInterceptor.h 2013-09-25 10:26:15 6.4 KiB

VBoxInterceptorDxe.inf 2013-09-25 10:26:15 2.4 KiB

README

This module isn't supposed to be used in normal UEFI imulation.
It dumps calls to EFI cores from EFI guests helping in investigation
of EFI guests behaviour and expectations.