| 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.