This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
efi [2012-11-04 18:42] jajcus [EFI boot loader] |
efi [2012-11-04 18:46] jajcus |
||
---|---|---|---|
Line 87: | Line 87: | ||
More information in the [[http://git.pld-linux.org/gitweb.cgi?p=packages/efi-boot-update.git;a=blob_plain;f=README;h=19d147dad2c3b711608203a297672e5533764c42;hb=HEAD|efi-boot-update README file]] | More information in the [[http://git.pld-linux.org/gitweb.cgi?p=packages/efi-boot-update.git;a=blob_plain;f=README;h=19d147dad2c3b711608203a297672e5533764c42;hb=HEAD|efi-boot-update README file]] | ||
+ | |||
+ | ===== efi-shell ===== | ||
+ | |||
+ | Instead of loading a boot loader and starting the operating system one may wish to enter the EFI shell. The EFI shell is often not | ||
+ | included in the system firmware and must be installed separately. For convenience, PLD Linux provides the **efi-shell-{ia32,x64}** packages with pre-compiled EFI shell executables. These can be installed like a regular boot-loader – manually or with [[#efi-boot-update]] | ||
+ | |||
+ | |||
+ | |||