picnoir
/
Systemd
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

BLS: allow /boot, /efi, and mention /boot/efi

This commit is contained in:
Zbigniew Jędrzejewski-Szmek 2018-06-18 17:55:50 +02:00
parent 59716390d4
commit eba6b1508d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/BOOT_LOADER_SPECIFICATION.md
View File

@ -37,7 +37,7 @@ We define two directories:
* `$BOOT/loader/` is the directory containing all files defined by this specification
* `$BOOT/loader/entries/` is the directory containing the drop-in snippets. This directory contains one `.conf` file for each boot menu item.
These directories are defined below the placeholder file system `$BOOT`. This placeholder file system shall be determined during _installation time_, and an fstab entry for it shall be created mounting it to /boot. The installer program should pick `$BOOT` according to the following rules:
These directories are defined below the placeholder file system `$BOOT`. The installer program should pick `$BOOT` according to the following rules:
* If the OS is installed on a disk with MBR disk label, and a partition with the MBR type id of 0xEA already exists it should be used as $BOOT.
* Otherwise, if the the OS is installed on a disk with MBR disk label, a new partition with MBR type id of 0xEA shall be created, of a suitable size (let's say 500MB), and it should be used as $BOOT.
@ -46,6 +46,8 @@ These directories are defined below the placeholder file system `$BOOT`. This pl
* Otherwise, if the OS is installed on a disk with GPT disk label, and if the ESP partition already exists but is too small, a new suitably sized (let's say 500MB) partition with GPT type GUID of bc13c2ff-59e6-4262-a352-b275fd6f7172 shall be created and it should be used as $BOOT.
* Otherwise, if the OS is installed on a disk with GPT disk label, and no ESP partition exists yet, a new suitably sized (let's say 500MB) ESP should be created and should be used as $BOOT.
This placeholder file system shall be determined during _installation time_, and an fstab entry maybe be created. It should be mounted to either /boot or /efi. Additional locations like /boot/efi, with /boot being a separate filesystem, might be supported by implementations. This is not recommded because the mounting of $BOOT is then dependent on and requires the mounting of the intermediate file system.
**Note:** _In all cases the /loader directory should be located directly in the root of the file system. Specifically, if $BOOT is the ESP, then /loader directory should be located directly in the root directory of the ESP, and not in the EFI/ subdirectory._
**Note:** _`$BOOT` should be considered **shared** among all OS installations of a system. Instead of maintaining one `$BOOT` per installed OS (as `/boot` was traditionally handled), all installed OS share the same place to drop in their boot-time configuration._