Pi4

[gavinmc42]

I'm using the old 2.5amp supply with adapter.
Don't need the extra power for USB HD yet.

Power supply is not the same as charger.
And USB-C PS/Chargers might do bad stuff.
Why fix something that might not work on all those third party PS/Chargers.

Get the official 3amp one(when available) and support the RPF?
Or recall all Pi4's?

Those who can afford a Macbook don't have any money spare for the Official supply?
But yep rev 5.0 of the PCB is in the works?

[shadow of death]

Any Updates on a Pi 4 Kernel?

[shadow of death]

...that means another 10mb or so on the boot partition....

Not exactly, since the Pi 4 uses a complete own kernel there is a good option to minimize the boot partition size. Just by spliting the whole thing in 2 different images. Images 1 Pi 1 - Pi 3, Image 2 only Pi 4 kernel.

This should safe us some space.

[shadow of death]

The released the first 64bit working Pi Linux
https://www.balena.io/blog/balena-releases-first-fully-functional-64-bit-os-for-the-raspberry-pi-4/

Its balena, a distro specificly for containers.