Re: [PATCH] grub-mkrescue: Allow users to specify a FAT serial number

2019-04-21 Thread Ludovic Courtès
Hello, "Vladimir 'phcoder' Serbinenko" skribis: > We already have code for iso9660 datetime that we use as UUID. Why not > derive FAT ID from it as well? E.g. by using truncated SHA-2 of iso9660 > datetime? In practice that’s what I did on the Guix side:

[PATCH] grub-mkrescue: Allow users to specify a FAT serial number

2019-04-21 Thread Ludovic Courtès
Hello, While investigating reproducible ISO images for Guix¹, I found that ‘grub-mkrescue’ would invoke ’mformat’ without the ‘-N’ option. Consequently, ‘mformat’ would pick a random serial number, thereby making the ‘efi.img’ build process non-deterministic. I came up with the gross hack