Subject: bug#55663: closed (Re: bug#55663: [PATCH] Image API: add FAT32 support)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 31 May 2022 13:08:02 +0000

Your bug report

#55663: [PATCH] Image API: add FAT32 support

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
55663: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55663
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#55663: [PATCH] Image API: add FAT32 support
From: Mathieu Othacehe <[email-masked]>
To: Pavel Shlyak <[email-masked]>
Cc: [email-masked]
Date: Tue, 31 May 2022 15:07:44 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Pavel,

Thanks for the v2, pushed on master.

Mathieu

Subject: [PATCH] Image API: add FAT32 support
From: Pavel Shlyak <[email-masked]>
To: [email-masked]
Date: Thu, 26 May 2022 21:02:22 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

I believe it is an important change as Raspberry PI (and I suppose some other boards) cannot boot with fat16 boot partitions. 
With this patch, "vfat" is treated as fat16 partition not to break backward-compatibility. "fat32", on the other hand, creates a fat32 partition.