The EFI System Table contains pointers to the runtime and boot services tables.

As the system_table may grow with new UEFI versions, it is important to check hdr.header_size.

After successfully calling boot_services.exitBootServices, console_in_handle, con_in, console_out_handle, con_out, standard_error_handle, std_err, and boot_services should be set to null. After setting these attributes to null, hdr.crc32 must be recomputed.

Fields

firmware_vendor: [*:0]u16,

A null-terminated string that identifies the vendor that produces the system firmware of the platform.

firmware_revision: u32,
console_in_handle: ?Handle,
console_out_handle: ?Handle,
standard_error_handle: ?Handle,
runtime_services: *RuntimeServices,
boot_services: ?*BootServices,
number_of_table_entries: usize,
configuration_table: [*]ConfigurationTable,