I don’t think the rpi4 is currently officially supported. But with that there are a couple unstable and/community builds that people have had success with. I would recommend trying the build by @j1nx
MycroftOS - A bare minimal (production type of) OS based on Buildroot