RPI4 AArch64 suggested /boot size too small

[cakemanny]

Hiya,

I followed the instructions for the AArch64 Installation, https://archlinuxarm.org/platforms/armv8/broadcom/raspberry-pi-4

In the prototype ARMv7 instructions it instructs to use 200M for the boot partition.

Everything was fine until I tried to do a `pacman -Syu` afterwards

error: Partition /boot too full: 7261 blocks needed, 6904 blocks free
error: not enough free disk space
error: failed to commit transaction (not enough free disk space)
Errors occurred, no packages were upgraded.

I had a look around in /boot, I can see there's the 171M in there in the rpi-aarch64 release tarball compared to 38M in the rpi-armv7.

% du -shc *
41M Image
14M Image.gz
32K bcm2710-rpi-3-b-plus.dtb
28K bcm2710-rpi-3-b.dtb
28K bcm2710-rpi-cm3.dtb
52K bcm2711-rpi-4-b.dtb
4.0K boot.scr
4.0K boot.txt
52K bootcode.bin
4.0K config.txt
41M dtbs
8.0K fixup.dat
8.0K fixup4.dat
4.0K fixup4cd.dat
12K fixup4db.dat
12K fixup4x.dat
4.0K fixup_cd.dat
12K fixup_db.dat
12K fixup_x.dat
46M initramfs-linux-fallback.img
7.2M initramfs-linux.img
556K kernel8.img
4.0K mkscr
2.8M start.elf
2.1M start4.elf
788K start4cd.elf
3.6M start4db.elf
2.9M start4x.elf
788K start_cd.elf
4.6M start_db.elf
3.6M start_x.elf
171M total

The main contributors of extra space use seem to be the Image (which iirc is needed for EFI/UEFI), the initramfs-linux-fallback.img and dtbs/


I hope this was the right board to post in...
PS: sorry about the formatting, I opted not to use the bbcode as it wasn't working in the preview. I hope this is all readable enough. And thank you for all the effort that's been put into ArchLinuxARM :)

[solskogen]

Install the linux-rpi (or linux-rpi-16k package) instead. It will lower the space needed.
Personally, I use 512M for /boot.

[graysky]

256M here

[solskogen]

With the linux-rpi-16k kernel the usage of /boot is just 59M, so 200M should be more than enough.