!DBFhtjpqmJNENpLDOv:nixos.org

NixOS systemd

625 Members
NixOS ❤️ systemd175 Servers

Load older messages


SenderMessageTime
9 Oct 2024
@emilazy:matrix.orgemilyyou'd already be writing a filesystem driver here.19:55:57
@emilazy:matrix.orgemilywouldn't be so bad to make it work with both FUSE and systemd-boot. in the grand scheme of things.19:56:09
@elvishjerricco:matrix.orgElvishJerriccoI thought the point was that it was read-compatible with FAT? i.e. No need for a driver for readonly operations?19:56:40
@aloisw:kde.orgaloisw
In reply to @emilazy:matrix.org
when does firmware write directly to it?
Not aware of any particular instances, I was referring systemd-boot like cases.
19:56:49
@emilazy:matrix.orgemily
In reply to @elvishjerricco:matrix.org
I thought the point was that it was read-compatible with FAT? i.e. No need for a driver for readonly operations?
yeah
19:57:12
@emilazy:matrix.orgemilybut we were just talking about systemd-boot doing writes19:57:17
@aloisw:kde.orgaloisw
In reply to @emilazy:matrix.org
wouldn't be so bad to make it work with both FUSE and systemd-boot. in the grand scheme of things.
Again, systemd-boot does not ship filesystem drivers.
19:57:23
@emilazy:matrix.orgemilyand your Linux distro needs to write19:57:26
@elvishjerricco:matrix.orgElvishJerriccomy firmware writes to my ESP when I do a firmware update and it restores my old ubuntu boot loader that I deleted over a year ago 🙃19:57:30
@emilazy:matrix.orgemily
In reply to @aloisw:kde.org
Again, systemd-boot does not ship filesystem drivers.
sure. I mean I'm just figuring out what you can do with existing firmware.
19:57:40
@emilazy:matrix.orgemilyconvincing Poettering is another matter, although "reliable FAT32" sounds like the kind of cursed thing he could be sold on.19:57:51
@emilazy:matrix.orgemilybut at least systemd-boot is something you can patch19:58:09
@elvishjerricco:matrix.orgElvishJerricco
In reply to @emilazy:matrix.org
and your Linux distro needs to write
oh, sure, but I still think we want to avoid including that in systemd-boot
19:58:20
@emilazy:matrix.orgemilywhat does systemd-boot write for, that boot counter stuff or whatever?19:58:39
@elvishjerricco:matrix.orgElvishJerriccoboot counting and it updates random-seed19:58:53
@elvishjerricco:matrix.orgElvishJerriccoThough neither of those things is essential19:59:19
@emilazy:matrix.orgemilyit feels like some reliability is better than none19:59:41
@aloisw:kde.orgaloisw
In reply to @emilazy:matrix.org
sure. I mean I'm just figuring out what you can do with existing firmware.
You could also write a UDF driver and place it on a tiny read-only FAT ESP.
19:59:42
@emilazy:matrix.orgemilythat also seems reasonable20:00:01
@emilazy:matrix.orgemilybut is a less fun engineering problem20:00:05
@emilazy:matrix.orgemilyit also doesn't solve colocating with Windows or whatever (with obvious sacrifice to reliability)20:00:24
@elvishjerricco:matrix.orgElvishJerriccoyea, I think the right way to make systemd-boot use a better FS is to have FS drivers in another project20:00:25
@elvishjerricco:matrix.orgElvishJerriccoe.g. efifs20:00:28
@emilazy:matrix.orgemilywhy does efifs base its drivers on GRUB rather than, idk, anything maintained?20:00:50
@elvishjerricco:matrix.orgElvishJerricco(efifs specifically is cursed because it's based on grub, but rEFInd also has its own drivers for some linux file systems)20:01:00
@emilazy:matrix.orgemilythey could do a NetBSD rump kernel or something if the Linux FS interface is too painful20:01:04
@elvishjerricco:matrix.orgElvishJerriccowe just need to make LKL capable of being compiled for EFI20:01:33
@elvishjerricco:matrix.orgElvishJerricco/s20:01:36
@elvishjerricco:matrix.orgElvishJerricco(actually wait that sounds sweet)20:01:50
@elvishjerricco:matrix.orgElvishJerriccoerofs for the xbootldr partition, anyone?20:02:30

Show newer messages


Back to Room ListRoom Version: 6