There isn't? Hm. It seems you are right. The linked article says > New Raspbian software > To support Raspberry Pi 4, we are shipping a radically overhaule

There isn't? Hm. It seems you are right. The linked article says > New Raspbian software > To support Raspberry Pi 4, we are shipping a radically overhauled operating system, based on the forthcoming Debian 10 Buster release. which is ambiguous, but https://medium.com/pi-top/raspberrypi4-f38f12633345 https://medium.com/pi-top/raspberrypi4-f38f12633345 says > One slightly unusual point to mention is that despite the 64-bit processor, the kernel that supports the entire operating system is currently only 32-bit, for now. Raspberry Pi have assured us that this will be updated in future once things have settled down after the launch.