diff options
| author | Andrew Cady <d@jerkface.net> | 2018-06-16 02:15:00 -0400 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2018-06-16 02:15:00 -0400 |
| commit | 4c73ae45859d784e8123f372068ac96e635d841f (patch) | |
| tree | 5d9dc8e467d1fd56824020320348cd3517318f3a /src/grub-efi.sh | |
| parent | 1735f15a8c61400d92e46b9a2472ba8070c81107 (diff) | |
Move unknown mountpoints before booting
If there are mountpoints outside of /root, which `run-init` does not
have in its whitelist, then `run-init` will refuse to boot and will
crash the kernel instead (process 1 will exit).
Diffstat (limited to 'src/grub-efi.sh')
0 files changed, 0 insertions, 0 deletions