This simplifes the buld and checks with very little overhead and the fwdebug device is I/O port device on 0x402 that can be used by edk2 as a very simple character device. See: #4679 Signed-off-by: Rob Bradford <robert.bradford@intel.com> |
||
|---|---|---|
| .. | ||
| legacy | ||
| acpi.rs | ||
| gic.rs | ||
| interrupt_controller.rs | ||
| ioapic.rs | ||
| lib.rs | ||