Raspberry Pi 3b+ Need bigger boot partition

[Indithem]

I've followed the installation steps as described in
[url]https://archlinuxarm.org/platforms/armv8/broadcom/raspberry-pi-3[/url].
Boot partition has 200M size.

I've tried to update the system by running [code]pacman -Syu[/code] as root.
It resulted in error that Partition /boot is too full, not enough space.

What should be the ideal size then?
Also update this change in /boot size in the page above.

(also, [url] formatting doesnt seem to work?)

[solskogen]

Try using linux-rpi instead of the default kernel. Then 200M should be enough.