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! :)

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

--- SoupGate-Win32 v1.05