Re: Debian 9 /boot && /boot/efi partition

2019-01-14 Thread Steve McIntyre
Jonathan Dowland wrote: >On Sun, Jan 13, 2019 at 02:00:02PM +0100, Pascal Hambourg wrote: >>/boot can be the EFI partition in the systemd boot specification. >> > >Thanks, I had seen in the past but had forgotten about it. Do you know >whether Debian ha

Re: Debian 9 /boot && /boot/efi partition

2019-01-14 Thread Jonathan Dowland
On Sun, Jan 13, 2019 at 02:00:02PM +0100, Pascal Hambourg wrote: /boot can be the EFI partition in the systemd boot specification. Thanks, I had seen in the past but had forgotten about it. Do you know whether Debian has plans to follow this spec?

Re: Debian 9 /boot && /boot/efi partition

2019-01-13 Thread Pascal Hambourg
Le 10/01/2019 à 22:02, Jonathan Dowland a écrit : I think EFI also mandates the layout of the filesystem to the extent that one could not simply use /boot as the EFI partition, formatted as FAT32, but I'm not entirely sure. /boot can be the EFI partition in the systemd boot specification.

Re: Debian 9 /boot && /boot/efi partition

2019-01-10 Thread Jonathan Dowland
On Thu, Jan 10, 2019 at 07:28:04PM +, Pieter Lems wrote: As you can see there is a /boot and a /boot/efi partition. I was wondering the following things: What is the reason this was automaticly done? The system is set up to boot vie (U)EFI. The EFI boot volume must be FAT32, so /boot/efi is

Re: Debian 9 /boot && /boot/efi partition

2019-01-10 Thread deloptes
Pieter Lems wrote: > What is the reason this was automaticly done? > Does this have any negative influence on the security of my /boot > partition? How can I counter this? > And if it's possible to counter this, would it be profitable (in case of > security) to counter it? Not sure but I think /b

Debian 9 /boot && /boot/efi partition

2019-01-10 Thread Pieter Lems
Dear Debian users, Recently I switched from QubesOS to Debian. The reason for this (just in case anyone wants to know) is because it was hard to combine the OS with the work I have to do for my school. While installing Debian I choose to use the following partition scheme: nvme0n1