Type definitions for loading guest firmware, available as no_std if no features are defined.
openhcl_boot