Displaying 2 results from an estimated 2 matches for "image_type_efi".
2016 Mar 20
0
[PATCH 0/1] EFI image booting capabilities
...execute.c 2015-02-18 18:46:02.193886584 -0700
> @@ -41,6 +41,7 @@ const struct image_types image_boot_type
> { "fdimage", IMAGE_TYPE_FDIMAGE },
> { "com32", IMAGE_TYPE_COM32 },
> { "config", IMAGE_TYPE_CONFIG },
> + { "efi", IMAGE_TYPE_EFI },
> { NULL, 0 },
> };
>
> @@ -89,6 +90,13 @@ __export void execute(const char *cmdlin
> do_sysappend(q);
> }
>
> +#ifdef __FIRMWARE_BIOS__
> + if(type==IMAGE_TYPE_EFI) {
> + printf("Bios core cannot load efi ima...
2015 Feb 20
6
[PATCH 0/1] EFI image booting capabilities
...++ b/com32/elflink/ldlinux/execute.c 2015-02-18 18:46:02.193886584 -0700
@@ -41,6 +41,7 @@ const struct image_types image_boot_type
{ "fdimage", IMAGE_TYPE_FDIMAGE },
{ "com32", IMAGE_TYPE_COM32 },
{ "config", IMAGE_TYPE_CONFIG },
+ { "efi", IMAGE_TYPE_EFI },
{ NULL, 0 },
};
@@ -89,6 +90,13 @@ __export void execute(const char *cmdlin
do_sysappend(q);
}
+#ifdef __FIRMWARE_BIOS__
+ if(type==IMAGE_TYPE_EFI) {
+ printf("Bios core cannot load efi image %s\n",kernel);
+ return;
+ }
+#endi...