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 1BC9B94141C for ; Wed, 27 Sep 2023 12:09:22 +0000 (UTC) DKIM-Signature: a=rsa-sha256; bh=mon/zBeqEVXVWRdqjmRcNDTPPtEAtGvUJQVpYdr0bxQ=; c=relaxed/simple; d=groups.io; h=Date:From:To:Subject:Message-ID:MIME-Version:Precedence:List-Subscribe:List-Help:Sender:List-Id:Mailing-List:Delivered-To:Reply-To:List-Unsubscribe-Post:List-Unsubscribe:Content-Type:Content-Disposition; s=20140610; t=1695816561; v=1; b=UDclLh2WJrtMJiUT9DyncxurU+TRtkjR+DffUJZRnVtYeFTL5U34t7yXFy77zQu0i0EsL/hl ISRMURvdMb65CTYb34+nxzW/zyHZMe56k8RkskIghUjGlTRfDSGqJc5e2F7pyTFkcYJ2o4dp9Jj 6ZUP675E4Ub8B33ZMx22NaBI= X-Received: by 127.0.0.2 with SMTP id DB0lYY7687511xUxfbOJWmA6; Wed, 27 Sep 2023 05:09:21 -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.15825.1695816561083999655 for ; Wed, 27 Sep 2023 05:09:21 -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-641-jZWvprxuNbaXgeZiMPEJFg-1; Wed, 27 Sep 2023 08:09:18 -0400 X-MC-Unique: jZWvprxuNbaXgeZiMPEJFg-1 X-Received: from smtp.corp.redhat.com (int-mx04.intmail.prod.int.rdu2.redhat.com [10.11.54.4]) (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 85679800B35; Wed, 27 Sep 2023 12:09:18 +0000 (UTC) X-Received: from sirius.home.kraxel.org (unknown [10.39.193.95]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 5AF112026D68; Wed, 27 Sep 2023 12:09:18 +0000 (UTC) X-Received: by sirius.home.kraxel.org (Postfix, from userid 1000) id 0E8D91800DE5; Wed, 27 Sep 2023 14:09:17 +0200 (CEST) Date: Wed, 27 Sep 2023 14:09:17 +0200 From: "Gerd Hoffmann" To: Pedro Falcato , devel@edk2.groups.io Subject: [edk2-devel] efi and ext4 and case sensitive file names Message-ID: <6odzwzflo4id7ra3cphgk3rhfpr7iqojsfqkbu4tutapcyhk2v@njifptgxmw5n> MIME-Version: 1.0 X-Scanned-By: MIMEDefang 3.1 on 10.11.54.4 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,kraxel@redhat.com List-Unsubscribe-Post: List-Unsubscribe=One-Click List-Unsubscribe: X-Gm-Message-State: pYW5oKleBD2nFNte1elgt0jRx7686176AA= Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-GND-Status: LEGIT Authentication-Results: spool.mail.gandi.net; dkim=pass header.d=groups.io header.s=20140610 header.b=UDclLh2W; 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 Hi, 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. 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. 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). 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 ... take care, Gerd [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 :( -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#109121): https://edk2.groups.io/g/devel/message/109121 Mute This Topic: https://groups.io/mt/101615699/7686176 Group Owner: devel+owner@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [rebecca@openfw.io] -=-=-=-=-=-=-=-=-=-=-=-