|
Turnstone Operating System
|
Public Attributes | |
| efi_table_header_t | header |
| char16_t * | firmware_vendor |
| uint32_t | firmware_revision |
| efi_handle_t | console_input_handle |
| simple_input_interface_t * | console_input |
| efi_handle_t | console_output_handle |
| simple_text_output_interface_t * | console_output |
| efi_handle_t | console_error_handle |
| simple_text_output_interface_t * | console_error |
| efi_runtime_services_t * | runtime_services |
| efi_boot_services_t * | boot_services |
| uint64_t | configuration_table_entry_count |
| efi_configuration_table_t * | configuration_table |