diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2014-01-03 01:45:12 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2015-06-07 04:27:52 +0200 |
commit | 0d41e5101f2ada712045765f54044deb820f8085 (patch) | |
tree | 62bc80940a846422d4dd1f7a79d3af4ccc3a30b5 /src | |
parent | 34b5dc134ed6ba8dc6f922915c894fb0a176f0b5 (diff) |
UEFI support.
Tested with the IntelĀ® Desktop Board DH87RL, BIOS [RLH8710H.86A] version
0323.
Diffstat (limited to 'src')
-rw-r--r-- | src/fripost-partman-udeb/base.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/fripost-partman-udeb/base.sh b/src/fripost-partman-udeb/base.sh index e6a3bf9..c23dcc1 100644 --- a/src/fripost-partman-udeb/base.sh +++ b/src/fripost-partman-udeb/base.sh @@ -433,10 +433,12 @@ fripost_mkfs() { fripost_fstab() { local device="$1" mp="$2" type="$3" options="${4:-defaults}" pass - # TODO: EFI should be set with pass 1 if [ "$mp" = / ]; then log "Got root device, $device" pass=1 + elif [ "$mp" = /boot/efi ]; then + log "Got EFI device, $device" + pass=1 elif [ "$type" = swap ]; then log "Got swap device, $device" pass=0 |