Does OSMC work on Raspberry pi 4?

The kernel will be 64-bit
Userland is 32-bit.