On 6.6.20 22:24, druck wrote:
> On 06/06/2020 13:16, Tauno Voipio wrote:
>> On 3.6.20 14:01, Tauno Voipio wrote:
>>> The Raspbian updates complain that my /boot partition
>>> is too small, Pi4 support dropped.
>>>
>>> How large must /boot be for Pi4?
>>>
>>
>>
>> Thanks to all for the responses.
>>
>> I solved the complaint by moving the root partition
>> upward by 86 megabytes, enough to get space for a
>> 128 Mib /boot.
>>
>> The size of Pi4 /boot is around 53 megabytes, so
>> 64 megabytes should already do it.
>
> More space may be required during updates, so don't make it just big
> enough. 128MB is OK currently, but 256MB gives enough room for future
> expansion, such as if the number of kernels supplied increases.
>
>> Another oddity: The /boot partition is in FAT32,
>> but the Windowses do not like FAT32 smaller than
>> 500 Mib, so the partition has to be deleted and
>> re-created in the desired size, of course saving
>> and restoring the contents separately.
>
> Who cares what Windows thinks! :)

FATxx are Windows specifications. The tools available on Linux
and OS X do respect the Windows desires, so there's a problem.
Another thing that does not conform to Windows usage is the use
of lower case letters in the partition label. If the Windows
partition type must be used, it should be used correctly.

I'd rather see an ext2 partition accepted for the boot, but
FAT seems to be cast on silicon in the GPU.

> If you have a large enough card and aren't worried about a few meg, you
> could use a 512MB partition. I have for the Pi which I dual boot between
> 32 and 64 bit OS's.
>
>> Maybe Pi is happy to boot from a FAT16, as well.
>> I have not tried it yet.
>
> I'd don't believe the GPU has code to boot from anything other than
> FAT32, but I haven't tried it either.
>
> ---druck

--

-TV

--- SoupGate-Win32 v1.05