modify (Raw)PlatformInfo to support UEFI boot

hermit-os / hermit-entry

Hermit's loading and entry API.

https://crates.io/crates/hermit-entry

Apache License 2.0

5 stars 4 forks source link

Closed sarahspberrypi closed 7 months ago

sarahspberrypi commented 1 year ago

PlatformInfo and RawPlatformInfo have been modified to include a field for UEFI boot