From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail02.groups.io (mail02.groups.io [66.175.222.108]) by spool.mail.gandi.net (Postfix) with ESMTPS id DACDFAC0FC8 for ; Thu, 28 Sep 2023 08:01:57 +0000 (UTC) DKIM-Signature: a=rsa-sha256; bh=ioVktJ4v3I+vM9Ir/vhy93qkkrCO/Ojws0LVHH3R/So=; c=relaxed/simple; d=groups.io; h=Message-ID:Date:MIME-Version:Subject:To:References:From:In-Reply-To:Precedence:List-Subscribe:List-Help:Sender:List-Id:Mailing-List:Delivered-To:Reply-To:List-Unsubscribe-Post:List-Unsubscribe:Content-Language:Content-Type:Content-Transfer-Encoding; s=20140610; t=1695888116; v=1; b=YpBC23BLJ/3o8WUFASI4FR+ZI+L8nY21pZ/EzrCiGBYb4ovyNktEDSGAmI6s6se+0uvgJ5kG xc441s3sYmnHSOZlZSdqkut+/p4UW1uMi9zJXvyBo/q6aUjY8QKZ38VygE7roGmbW33K7AoRKb8 wIcmgQR62BwBFjSOsz8n/ZWw= X-Received: by 127.0.0.2 with SMTP id nknnYY7687511xGDD8c25Srn; Thu, 28 Sep 2023 01:01:56 -0700 X-Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by mx.groups.io with SMTP id smtpd.web11.9026.1695888115806304479 for ; Thu, 28 Sep 2023 01:01:55 -0700 X-Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-455-CP0F3YKJNFKqTCVtNAkWBg-1; Thu, 28 Sep 2023 04:01:51 -0400 X-MC-Unique: CP0F3YKJNFKqTCVtNAkWBg-1 X-Received: from smtp.corp.redhat.com (int-mx06.intmail.prod.int.rdu2.redhat.com [10.11.54.6]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 610878002B2; Thu, 28 Sep 2023 08:01:51 +0000 (UTC) X-Received: from [10.39.192.184] (unknown [10.39.192.184]) by smtp.corp.redhat.com (Postfix) with ESMTPS id CB79F2156702; Thu, 28 Sep 2023 08:01:50 +0000 (UTC) Message-ID: Date: Thu, 28 Sep 2023 10:01:49 +0200 MIME-Version: 1.0 Subject: Re: [edk2-devel] efi and ext4 and case sensitive file names To: Gerd Hoffmann , Pedro Falcato , edk2-devel-groups-io References: <6odzwzflo4id7ra3cphgk3rhfpr7iqojsfqkbu4tutapcyhk2v@njifptgxmw5n> From: "Laszlo Ersek" In-Reply-To: <6odzwzflo4id7ra3cphgk3rhfpr7iqojsfqkbu4tutapcyhk2v@njifptgxmw5n> X-Scanned-By: MIMEDefang 3.1 on 10.11.54.6 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Precedence: Bulk List-Subscribe: List-Help: Sender: devel@edk2.groups.io List-Id: Mailing-List: list devel@edk2.groups.io; contact devel+owner@edk2.groups.io Reply-To: devel@edk2.groups.io,lersek@redhat.com List-Unsubscribe-Post: List-Unsubscribe=One-Click List-Unsubscribe: X-Gm-Message-State: XVa8G8pkan01PWWzcH3PH8xHx7686176AA= Content-Language: en-US Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-GND-Status: LEGIT Authentication-Results: spool.mail.gandi.net; dkim=pass header.d=groups.io header.s=20140610 header.b=YpBC23BL; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=redhat.com (policy=none); spf=pass (spool.mail.gandi.net: domain of bounce@groups.io designates 66.175.222.108 as permitted sender) smtp.mailfrom=bounce@groups.io On 9/27/23 14:09, kraxel at redhat.com (Gerd Hoffmann) wrote: > Hi, >=20 > I've noticed that the edk2 ext4 driver does case-insensitive filename > matching. I know the fat filesystem is case-insensitive, and the uefi > spec describing the fat filesystem also explicitly says it is > case-insensitive. On a quick scan I can't find anything in the uefi > spec requiring *all* filesystem drivers being case-insensitive though. >=20 > So I'm wondering whenever the ext4 driver behavior is correct. It > certainly is different than the linux kernel's behavior which is (by > default) case-sensitive. >=20 > Also note that the linux kernel ext4 driver recently got support for > case-insensitive file names, which must be explicitly enabled for both > filesystems (EXT4_FEATURE_INCOMPAT_CASEFOLD) and directories > (EXT4_CASEFOLD_FL). >=20 > On practical terms I've ran into actual problems due to Fedora mounting > the ESP at /boot/efi[1] and UKIs (unified kernel images) should be > placed in EFI/Linux on either ESP or XBOOTLDR partition, which on fedora > translates to /boot/efi/EFI/Linux (ESP) or /boot/EFI/Linux (XBOOTLDR). > So I have both /boot/efi and /boot/EFI ... >=20 > take care, > Gerd >=20 > [1] Yes, a bad choice for a number of reasons, but changing that isn't > easy as this is hard-coded in a unknown number of places :( I don't think this is fixable until / unless the underlying filesystem is genuinely case-insensitive -- which is just a way to say that *all* consumers of the filesystem must agree on case-insensitive interpretation of pathnames. I've encountered this issue from the opposite direction: with virtiofs. VirtioFsDxe is case-sensitive. If you share a case-sensitive host-side filesystem through VirtioFsDxe with guest UEFI, then in some cases that produces unexpected results in UEFI. UEFI apps expect case-insensitive handling, while Linux apps expect case-sensitive handling. At best this conflict can be resolved at the deepest level, in the underlying filesystem's specification. So my point is, even if you flipped Ext4Pkg to case-sensitive behavior, you'd still see issues, namely between UEFI apps and Linux apps. Those would only go away if the underlying ext4 filesystem used both of those new flags that you mention (at which point Ext4Pkg could be case-sensitive or -insensitive, it wouldn't matter). Laszlo -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#109142): https://edk2.groups.io/g/devel/message/109142 Mute This Topic: https://groups.io/mt/101615699/7686176 Group Owner: devel+owner@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/leave/12367111/7686176/19134562= 12/xyzzy [rebecca@openfw.io] -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-